A Partial Order Approach to Branching Time Logic Model Checking.

Rob Gerth Ruurd Kuiper Doron A. Peled Wojciech Penczek

Published in: ISTCS (1995)

Keyphrases

partial order
model checking
epistemic logic
temporal logic
model checker
bounded model checking
partially ordered

set theory
alternating time temporal logic
linear temporal logic
modal logic
asynchronous circuits
transition systems
formal verification

total order
verification method
coalition logic
automated verification
computation tree logic
linear time temporal logic
symbolic model checking

formal specification
cl pc
automated reasoning
formal methods
binary decision diagrams
ctl model update
preference relations