Reachability as Derivability, Finite Countermodels and Verification.

Published in: ATVA (2010)

Keyphrases

model checking
state space
transitive closure
formal verification
real time
dynamic programming
finite number
face verification
formal methods
concurrent systems
data mining
machine learning
information systems
case study
verification method
unit length