CSL model checking algorithms for QBDs.

Anne Remke Boudewijn R. Haverkort Lucia Cloth

Published in: Theor. Comput. Sci. (2007)

Keyphrases

model checking
temporal logic
model checker
temporal properties
artificial intelligence
graph theory
finite state machines
finite state
formal verification
reachability analysis
deterministic finite automaton
computational complexity
orders of magnitude
epistemic logic
process algebra
transition systems