Bounded Model Checking for Timed Systems

Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani. Bounded Model Checking for Timed Systems. In Doron Peled, Moshe Y. Vardi, editors, Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings. Volume 2529 of Lecture Notes in Computer Science, pages 243-259, Springer, 2002. [doi]


Abstract is missing.