Formal Verification of Spacecraft Control Programs.

Georgy Lukyanov Andrey Mokhov Jakob Lechner

Published in: ACM Trans. Embed. Comput. Syst. (2020)

Keyphrases

formal verification
model checking
program slicing
control program
automated verification
symbolic model checking
bounded model checking
model checker
control strategy
control structures
control system
knowledge base
mobile robot
test set
control method
computer programs