Forward Analysis and Model Checking for Bounded WSTS

Pierre Chambart Alain Finkel Sylvain Schmitz

Published in: CoRR (2010)

Keyphrases

model checking
temporal logic
temporal properties
finite state machines
formal verification
dynamic analysis
bounded model checking
automated verification
finite state
model checker
verification method
symbolic model checking
transition systems
linear temporal logic
reachability analysis