Proving Safety with Trace Automata and Bounded Model Checking.
Daniel KroeningMatt LewisGeorg WeissenbacherPublished in: FM (2015)
Keyphrases
- bounded model checking
- model checking
- formal verification
- finite state
- temporal logic
- finite state machines
- linear temporal logic
- cellular automata
- finite automata
- regular expressions
- probabilistic automata
- multi agent systems
- traffic accidents
- model checker
- safety critical
- finite state automata
- cooperative
- optimal solution