Timed diagnostics for reachability properties

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

Volumn 1579, Issue , 1999, Pages 59-73

  Tripakis, Stavros ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY;

COLLISION DETECTION; COUNTER EXAMPLES; DISCRETE STATE; PROTOTYPE IMPLEMENTATIONS; REACHABILITY; TIMED AUTOMATA;

CONCRETES;

EID: 84948953283     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49059-0_5     Document Type: Conference Paper

References (10)

1. ACD93. R. Alur, C. Courcoubetis, and D. L. Dill. Model checking in dense real time. Information and Computation, 104(1): 2-34, 1993.
2. AKV98. R. Alur, R. P. Kurshan, and M. Viswanathan. Membership questions for timed and hybrid automata. In RTSS'98, 1998.
3. BTY97. A. Bouajjani, S. Tripakis, and S. Yovine. On-the-fly symbolic model check-ing for real-time systems. In Proc. of the 18th IEEE Real-Time Systems Symposium, San Francisco, CA, pages 232-243. IEEE, December 1997.
4. Dil89. D. L. Dill. Timing assumptions and verification of finite-state concurrent sys-tems. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, Lecture Notes in Computer Science 407, pages 197-212. Springer-Verlag, 1989.
5. DOTY96. C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool KRONOS. In Hybrid Systems III, Verification and Control, volume 1066 of LNCS, pages 208-219. Springer-Verlag, 1996.
6. DT98. C. Daws and S. Tripakis. Model checking of real-time reachability proper-ties using abstractions. In Tools and Algorithms for the Construction and Analysis of Systems '98, Lisbon, Portugal, volume 1384 of LNCS. Springer-Verlag, 1998.
7. HNSY94. T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2): 193-244, 1994.
8. HSLL97. K. Havelund, A. Skou, K. Larsen, and K. Lund. Formal modelling and analysis of an audio/video protocol: An industrial case study using Up-paal. In Proceedings of the 18th IEEE Real-Time Systems Symposium San Francisco, CA, pages 2-13, December 1997.
9. LPY95. K. Larsen, P. Pettersson, and W. Yi. Diagnostic model-checking for real-time systems. In 4th DIMACS Workshop on Verification and Control of Hybrid Systems, 1995.
10. Yov93. S. Yovine. Méthodes et outils pour la vérification symbolique de systémes temporisés. PhD thesis, Institut National Polytechnique de Grenoble, 1993. In french.