MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm.

S. Akshay Paul Gastin R. Govind B. Srivathsan

Published in: CONCUR (2024)

Keyphrases

model checking
timed automata
verification method
search space
optimal solution
dynamic programming
deterministic finite automaton
computational complexity
np hard
temporal logic
model checker
real time
temporal properties
symbolic model checking
reachability analysis
automated verification