A symbolic model checking approach to verifying satellite onboard software.

Xiang Gan Jori Dubrovin Keijo Heljanko

Published in: Sci. Comput. Program. (2014)

Keyphrases

symbolic model checking
model checking
safety analysis
formal verification
model checker
conformant planning
software development
software systems
temporal logic
finite state
partial observability
binary decision diagrams
source code
formal specification
formal methods
test suite
multi agent
search algorithm