Bounded Verification of Past LTL.

Alessandro Cimatti Marco Roveri Daniel Sheridan

Published in: FMCAD (2004)

Keyphrases

model checking
bounded model checking
linear time temporal logic
temporal logic
formal verification
verification method
linear temporal logic
formal specification
model checker
face verification
formal methods
database
deterministic automata
transition systems
web services
information retrieval
machine learning