Proving Safety with Trace Automata and Bounded Model Checking.

Daniel Kroening Matt Lewis Georg Weissenbacher

Published in: CoRR (2014)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
finite state
finite state machines
linear temporal logic
cellular automata
multi agent systems
safety critical
probabilistic automata
optimal solution
search algorithm
formal specification
tree automata