Login / Signup
Bounded Reachability for Temporal Logic over Constraint Systems
Marcello M. Bersani
Achille Frigeri
Angelo Morzenti
Matteo Pradella
Matteo Rossi
Pierluigi San Pietro
Published in:
CoRR (2010)
Keyphrases
</>
temporal logic
model checking
reactive systems
dynamic constraints
modal logic
satisfiability problem
distributed systems
model checker
search space
complex systems
belief revision
temporal knowledge
verification method