|
[CMS+23]
Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller, Philipp Martin Fischer, Andreas Gerndt and Michael Felderer.
Applicability of Model Checking for Verifying Spacecraft Operational Designs.
In Proc. International Conference on Model Driven Engineering Languages and Systems (MODELS'23).
2023.
[Verifies operational designs of spacecraft using various model checkers, including PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|