The Power of Reachability Testing for Timed Automata

Authors

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

DOI:

https://doi.org/10.7146/brics.v5i48.19493

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.

Downloads

Published

1998-06-18

How to Cite

Aceto, L., Bouyer, P., Burgueno, A., & Larsen, K. G. (1998). The Power of Reachability Testing for Timed Automata. BRICS Report Series, 5(48). https://doi.org/10.7146/brics.v5i48.19493