UPPAAL-a tool suite for automatic verification of real-time systems

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

Volumn 1066, Issue , 1996, Pages 232-243

  Bengtsson, Johan ^a   Larsen, Kim ^b   Larsson, Fredrik ^a   Pettersson, Paul ^a   Yi, Wang ^a  

^a UPPSALA UNIVERSITY   (Sweden)

^b AALBORG UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; HYBRID SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; LINEAR SYSTEMS; LINEAR TRANSFORMATIONS; MATHEMATICAL TRANSFORMATIONS; MODEL CHECKING; WORLD WIDE WEB;

AUTOMATIC TRANSFORMATIONS; AUTOMATIC VERIFICATION; CONSTRAINT SOLVING; GRAPHICAL INTERFACE; GRAPHICAL REPRESENTATIONS; LINEAR HYBRID SYSTEMS; LIVENESS PROPERTIES; TEXTUAL REPRESENTATION;

REAL TIME SYSTEMS;

EID: 84958037228     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0020949     Document Type: Conference Paper

References (13)

1. Martin Abadi and Leslie Lamport. An Old-Fashioned Recipe for Real Time. Lecture Notes in Computer Science, 600, 1993.
2. R. Alur and D. Dill. Automata for Modelling Real-Time Systems. In Proc. of ICALP’90, volume 443, 1990.
3. D. Bosscher, I. Polak, and F. Vaandrager. Verification of an Audio-Control Protocol. In Proc. of FTRTFT’94, volume 863 of Lecture Notes in Computer Science, 1993.
4. Pei-Hsin Ho and Howard Wong-Toi. Automated Analysis of an Audio Control Protocol. In Proc. of CAV’95, volume 939 of Lecture Notes in Computer Science. Springer Verlag, 1995.
5. F. Laroussinie and K.G. Larsen. Compositional Model Checking of Real Time Systems. In Proc. of CONCUR '95, Lecture Notes in Computer Science. Springer Verlag, 1995.
6. K.G. Larsen, P. Pettersson, and W. Yi. Compositional and Symbolic Model Checking of Real-Time Systems. To appear in Proc. of the 16th IEEE Real-Time Systems Symposium, December 1995.
7. Kim G. Larsen, Paul Pettersson, and Wang Yi. Diagnostic Model-Checking for Real-Time Systems. In Proc. of the 4th DIM ACS Workshop on Verification and Control of Hybrid Systems, Lecture Notes in Computer Science, October 1995.
8. Kim G. Larsen, Paul Pettersson, and Wang Yi. Model-Checking for Real-Time Systems. In Proc. of Fundamentals of Computation Theory, 1995.
9. A. Olivero, J. Sifakis, and S. Yovine. Using Abstractions for the Verification of Linear Hybrids Systems. In Proc. of CAV’94, volume 818 of Lecture Notes in Computer Science, 1994.
10. N. Shankar. Verification of Real-Time Systems Using PVS. In Proc. of CAV’93., volume 697, 1993.
11. C.E. Leiserson T.H. Cormen and R.L. Rives. Introduction to ALGORITHMS. MIT Press, McGraw-Hil, 1990.
12. Mihalis Yannakakis and David Lee. An efficient algorithm for minimizing realtime transition systems. In Proceedings of CAV’93, volume 697 of Lecture Notes in Computer Science, pages 210-224, 1993.
13. Wang Yi, Paul Pettersson, and Mats Daniels. Autfomatic Verification of Real-Time Communicating Systems By Constraint-Solving. In Proc. of the 7th International Conference on Formal Description Techniques, 1994.