A Linear Local Model Checking Algorithm for CTL.

Bart Vergauwen Johan Lewi

Published in: CONCUR (1993)

Keyphrases

model checking
temporal logic
verification method
deterministic finite automaton
computational complexity
formal specification
optimal solution
dynamic programming
model checker
computation tree logic
search space
formal verification
transition systems
alternating time temporal logic