Forward analysis and model checking for trace bounded WSTS.

Pierre Chambart Alain Finkel Sylvain Schmitz

Published in: Theor. Comput. Sci. (2016)

Keyphrases

model checking
temporal logic
formal methods
automated verification
dynamic analysis
reachability analysis
finite state machines
model checker
pspace complete
temporal properties
symbolic model checking
timed automata
bounded model checking
abstract interpretation
knowledge representation
concurrent systems