Formal Verification of Control Software: A Case Study.

Andreas Griesmayer Roderick Bloem Martin Hautzendorfer Franz Wotawa

Published in: IEA/AIE (2005)

Keyphrases

formal verification
control software
model checking
automated verification
model checker
bounded model checking
control system
test bed
symbolic model checking
program slicing
real time
case study
artificial intelligence
decision making
mobile robot