Applicability of Model Checking for Verifying Spacecraft Operational Designs

Chrszon, PhilippMaurer, PaulinaSaleip, GeorgeMüller, SaschaFischer, Philipp M.Gerndt, AndreasFelderer, MichaelMichael, JudithWeske, Mathias2024-02-192024-02-192024978-3-88579-742-5https://dl.gi.de/handle/20.500.12116/43612This is a summary of the paper Applicability of Model Checking for Verifying Spacecraft Operational Designs which has been published at the 26th International Conference on Model Driven Engineering Languages and Systems (MODELS 23).enAerospaceFormal ModelsFormal MethodsModel CheckingApplicability of Model Checking for Verifying Spacecraft Operational DesignsText/Conference Paper10.18420/modellierung2024_0101617-5468