Evaluation of SAT-based Bounded Model Checking of ACTL Properties.

Yanyan Xu Wei Chen Liang Xu Wenhui Zhang

Published in: TASE (2007)

Keyphrases

bounded model checking
model checking
temporal logic
computation tree logic
temporal properties
formal verification
linear temporal logic
modal logic
model checker
finite state
formal specification
satisfiability problem
concurrent systems
epistemic logic
web services