Computation tree logic model checking based on possibility measures.

Yongming Li Yali Li Zhanyou Ma

Published in: Fuzzy Sets Syst. (2015)

Keyphrases

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