Formal verification of distributed aircraft controllers.
Sarah M. LoosDavid W. RenshawAndré PlatzerPublished in: HSCC (2013)
Keyphrases
- formal verification
- model checking
- automated verification
- distributed systems
- bounded model checking
- symbolic model checking
- model checker
- control system
- program slicing
- mobile agents
- temporal logic
- domain independent
- evolutionary robotics
- human operators
- reinforcement learning
- orders of magnitude
- peer to peer
- fuzzy logic
- multi agent