Partial-Order Methods for Model Checking: From Linear Time to Branching Time.

Bernard Willems Pierre Wolper

Published in: LICS (1996)

Keyphrases

planning domains
model checking
temporal logic
partial order
symbolic model checking
epistemic logic
formal specification
temporal properties
formal verification
transition systems
automated verification
partially ordered
timed automata