Symbolic Model Checking for Propositional Projection Temporal Logic.

Tao Pang Zhenhua Duan Cong Tian

Published in: TASE (2012)

Keyphrases

temporal logic
symbolic model checking
model checking
model checker
formal verification
modal logic
satisfiability problem
finite state
linear temporal logic
computation tree logic
verification method
formal specification
formal methods
first order logic
planning domains
partial observability
orders of magnitude