Login / Signup
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison.
Laura Bozzelli
Alberto Molinari
Angelo Montanari
Adriano Peron
Pietro Sala
Published in:
ACM Trans. Comput. Log. (2019)
Keyphrases
</>
temporal logic
model checking
modal logic
formal specification
model checker
formal verification
verification method
computation tree logic
satisfiability problem
temporal properties
finite state
concurrent systems
transition systems
symbolic model checking
bounded model checking
formal methods
reactive systems
linear temporal logic
temporally extended
expressive power