Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures.

Yongming Li Zhanyou Ma

Published in: CoRR (2014)

Keyphrases

computation tree logic
model checking
temporal logic
bounded model checking
formal verification
epistemic logic
temporal properties
formal specification
finite state
finite state machines
model checker
symbolic model checking
formal methods
concurrent systems
modal logic
reactive systems