Login / Signup
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments.
Laura Bozzelli
Alberto Molinari
Angelo Montanari
Adriano Peron
Pietro Sala
Published in:
IJCAR (2016)
Keyphrases
</>
temporal logic
model checking
mazurkiewicz traces
modal logic
computation tree logic
temporal properties
finite state
formal verification
satisfiability problem
model checker
verification method
symbolic model checking
concurrent systems
formal specification
bounded model checking
transition systems
epistemic logic
linear temporal logic
formal methods
knowledge based systems
temporal epistemic
reactive systems
linear time temporal logic