Improved Bounded Model Checking of Timed Automata

Robert L. Smith, Marcello M. Bersani, Matteo Rossi +1

Timed Automata (TA) are a very popular modeling formalism for systems with time-sensitive properties. A common task is to verify if a network of TA satisfies a given property, usua…