The Power of Reachability Testing for Timed Automata

  • Luca Aceto
  • Patricia Bouyer
  • Augusto Burgueno
  • Kim G. Larsen

Abstract

In this paper we provide a complete characterization of the class of
properties of (networks of) timed automata for which model checking can be reduced to reachability checking in the context of testing automata.
Published
1998-06-18
How to Cite
Aceto, L., Bouyer, P., Burgueno, A., & Larsen, K. (1998). The Power of Reachability Testing for Timed Automata. BRICS Report Series, 5(48). https://doi.org/10.7146/brics.v5i48.19493