Assumption-based distribution of CTL model checking.

Lubos Brim Karen Yorav Jitka Zidkova

Published in: Int. J. Softw. Tools Technol. Transf. (2005)

Keyphrases

model checking
temporal logic
computation tree logic
formal verification
temporal properties
finite state
model checker

formal specification
bounded model checking
reachability analysis
verification method
symbolic model checking
partial order reduction
timed automata

transition systems
automated verification
process algebra
epistemic logic
finite state machines
concurrent systems
formal methods

pspace complete
alternating time temporal logic
asynchronous circuits
abstract interpretation
deterministic finite automaton
description language
temporal epistemic