Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives.

Alberto Molinari Angelo Montanari Adriano Peron

Published in: CoRR (2017)

Keyphrases

temporal logic
model checking
temporal properties
linear temporal logic
modal logic
formal specification
model checker
automated verification

concurrent systems
computation tree logic
finite state
satisfiability problem
transition systems
epistemic logic
partial order reduction
symbolic model checking

formal verification
finite state machines
bounded model checking
verification method
timed automata
process algebra
reachability analysis
reactive systems

formal methods
temporal information
pspace complete
knowledge representation
planning domains
temporal reasoning
belief revision
knowledge based systems