The power of reachability testing for timed automata

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1530 LNCS, Issue , 1998, Pages 245-257

  Aceto, Luca ^a   Bouyer, Patricia ^b   Burgueño, Augusto ^c   Larsen, Kim G ^a  

^a AALBORG UNIVERSITY   (Denmark)

^b CNRS   (France)

^c ONERA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

REACHABILITY; REACHABILITY TESTING; TESTING AUTOMATA; TIMED AUTOMATA;

MODEL CHECKING; SOFTWARE ENGINEERING;

AUTOMATA THEORY;

EID: 84887088164     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-49382-2_22     Document Type: Conference Paper

References (9)

1. L. Aceto, P. Bouyer, A. Burgueño, and K. G. Larsen, The power of reachability testing for timed automata, 1998. Forthcoming paper. 254
2. L. Aceto, A. Burgueño, and K. G. Larsen, Model checking via reachability testing for timed automata, in Proceedings of TACAS '98, Lisbon, B. Steffen, ed., vol. 1384 of Lecture Notes in Computer Science, Springer-Verlag, 1998, pp. 263- 280. Also available as BRICS Report RS-97-29, Aalborg University, November, 1997. 246, 251, 252, 253, 254 (Pubitemid 128055549)
3. R. Alur and D. Dill, A theory of timed automata, Theoretical Computer Science, 126 (1994), pp. 183-235. 245, 249
4. A. Burgueño, Model-checking via Testing and Parametric Analysis of Timed Systems, PhD thesis, Ecole Nationale Supérieure de l'Aéronautique et de l'Espace, Toulouse, France, June 1998. 256
5. T. A. Henzinger, P.-H. Ho, and H. Wong-Toi, HyTech: the next generation, in Proc. of the 16th Real-time Systems Symposium, RTSS'95, IEEE Computer Society press, 1995. 247, 249
6. F. Laroussinie and K. G. Larsen, Compositional model checking of real time systems, in Proc. of the 6th. International Conference on Concurrency Theory, CONCUR' 95, I. Lee and S. Smolka, eds., vol. 962 of Lecture Notes in Computer Science, Philadelphia, PA, USA, August 21-24 1995, Springer-Verlag. 253, 255
7. F. Laroussinie, K. G. Larsen, and C. Weise, From timed automata to logic-and back, in Proc. of the 20th. International Symposium onMathematical Foundations of Computer Science, MFCS'95, J. Wiedermann and P. Hájek, eds., vol. 969 of Lecture Notes in Computer Science, Prague, Czech Republic, August 28-September 1 1995, Springer-Verlag, pp. 529-539. 252, 253
8. K. G. Larsen, P. Pettersson, and Y. Wang, Uppaal in a nutshell, Software Tools for Technology Transfer, 1 (1997), pp. 134-152. 245, 247, 249
9. Y. Wang, Real-time behaviour of asynchronous agents, in Proc. of the Conference on Theories of Concurrency: Unification and Extension, CONCUR'90, J. Baeten and J. Klop, eds., vol. 458 of Lecture Notes in Computer Science, Amsterdam, The Netherlands, August 27-30 1990, Springer-Verlag, pp. 502-520. 247, 249