Model-Checking of Linear-Time Properties in Multi-Valued Systems

Yongming Li Lihui Lei

Published in: CoRR (2012)

Keyphrases

model checking
multi valued
temporal properties
automated verification
temporal logic
finite state machines

formal methods
asynchronous circuits
reactive systems
formal verification
artifact centric

symbolic model checking
formal specification
model checker
epistemic logic
verification method

xml documents
timed automata
transition systems
bounded model checking
computation tree logic