Checking Timed Bisimilarity with Virtual Clocks

Alexander Lieb, Hendrik Göttmann, Lars Luthmann +2

Timed automata are a widely used formalism for specifying the discrete-state/continuous-time behavior of time-critical reactive systems. For the fundamental verification problem of…