|
[CMS+25]
Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller, Philipp Martin Fischer, Andreas Gerndt and Michael Felderer.
Model checking of spacecraft operational designs: a scalability analysis.
Software and Systems Modeling.
2025.
[Verifies operational designs of spacecraft using various model checkers, including PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|