Improved Algorithms for the Automata-Based Approach to Model-Checking.

Laurent Doyen Jean-François Raskin

Published in: TACAS (2007)

Keyphrases

model checking
temporal logic
deterministic finite automaton
finite state
finite state machines
reachability analysis
orders of magnitude
temporal properties
timed automata
partial order reduction
computational complexity
graph theory
pspace complete
verification method
bounded model checking