Model checking for process rewrite systems and a class of action-based regular properties.

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

Keyphrases

model checking
temporal properties
temporal logic
transition systems
formal verification
model checker
formal specification
verification method
concurrent systems
object oriented
software engineering
symbolic model checking
timed automata