Formal verification of spacecraft control programs (experience report).

Andrey Mokhov Georgy Lukyanov Jakob Lechner

Published in: Haskell@ICFP (2019)

Keyphrases

formal verification
program slicing
model checking
control system
control structures
symbolic model checking
automated verification
model checker
control program
control strategy
optimal control
computer programs
mobile robot
bounded model checking