Timed automata as a formalism for expressing security: A survey on theory and practice

Johan Arcile, Étienne André

Timed automata are a common formalism for the verification of concurrent systems subject to timing constraints. They extend finite-state automata with clocks, that constrain the sy…