Formal Verification of Spacecraft Control Programs Using a Metalanguage for State Transformers.

Andrey Mokhov Georgy Lukyanov Jakob Lechner

Published in: CoRR (2018)

Keyphrases

formal verification
model checking
program slicing
control system
control program
bounded model checking
automated verification
artificial intelligence