Zone-based verification of timed automata: extrapolations, simulations and what next?

Patricia Bouyer, Paul Gastin, Frédéric Herbreteau +2

Timed automata have been introduced by Rajeev Alur and David Dill in the early 90's. In the last decades, timed automata have become the de facto model for the verification of real…