The Power of Reachability Testing for Timed Automata
DOI:
https://doi.org/10.7146/brics.v5i48.19493Abstract
In this paper we provide a complete characterization of the class ofproperties 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
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.