The Power of Reachability Testing for Timed Automata

Luca Aceto
Patricia Bouyer
Augusto Burgueño
Kim G. Larsen

December 1998

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

Available as PostScript, PDF, DVI.

Last modified: 2003-06-08 by webmaster.