Verifying progress in timed systems

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

Volumn 1601, Issue , 1999, Pages 299-314

  Tripakis, Stavros ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; FORMAL METHODS; TIME SHARING SYSTEMS;

DYNAMIC TECHNIQUES; ON THE FLIES; PARALLEL COMPOSITION; SYMBOLIC REACHABILITY; TIME PROGRESS; TIMED AUTOMATA; TIMED SYSTEMS;

REAL TIME SYSTEMS;

EID: 34547296058     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48778-6_18     Document Type: Conference Paper

References (12)

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. [BFK+98] H. Bowman, G. Faconti, J-P. Katoen, D. Latella, and M. Massink. Automatic verification of a lip synchronisation algorithm using uppaal. In 3rd International Workshop on Formal Methods for Industrial Critical Systems, 1998.
3. [BS97] S. Bornot and J. Sifakis. Relating time progress and deadlines in hybrid systems. In International Workshop, HART'97, pages 286-300, Grenoble, France, March 1997. Lecture Notes in Computer Science 1201, Spinger-Verlag.
4. [BST98] S. Bornot, J. Sifakis, and S. Tripakis. Modeling urgency in timed systems. In Compositionality, LNCS 1536, 1998. To appear.
5. [Daw98] C. Daws. Methodes d'analyse de systèmes temporises: de la théorie à la pratique. PhD thesis, Institut National Polytechnique de Grenoble, 1998. In french.
6. [Dil89] D.L. Dill. Timing assumptions and verification of finite-state concurrent systems. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, Lecture Notes in Computer Science 407, pages 197-212. Springer-Verlag, 1989.
7. [DT98] C. Daws and S. Tripakis. Model checking of real-time reachability properties using abstractions. In Tools and Algorithms for the Construction and Analysis of Systems '98, Lisbon, Portugal, volume 1384 of LNCS. Springer-Verlag, 1998.
8. [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.
9. [Oli94] A. Olivero. Modélisation et analyse de systèmes temporisés et hybrides. PhD thesis, Institut National Polytechnique de Grenoble, 1994. In french.
10. [SY96] J. Sifakis and S. Yovine. Compositional specification of timed systems. In 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96, pages 347-359, Grenoble, France, February 1996. Lecture Notes in Computer Science 1046, Spinger-Verlag.
11. [Tri98] S. Tripakis. The formal analysis of timed systems in practice. PhD thesis, Université Joseph Fourrier de Grenoble, 1998. To be published.
12. [Yov93] S. Yovine. Methodes et outils pour la verification symbolique de systèmes temporises. PhD thesis, Institut National Polytechnique de Grenoble, 1993. In french.