A Parametric Analysis of the State Explosion Problem in Model Checking.

Stéphane Demri François Laroussinie Philippe Schnoebelen

Published in: STACS (2002)

Keyphrases

model checking
temporal logic
finite state machines
dynamic analysis
state space
formal verification
bounded model checking
transition systems
search algorithm
finite state
model checker
automated verification
epistemic logic
verification method
reachability analysis
abstract interpretation