Part of the Lecture Notes in Computer Science book series (LNCS, volume 1254)
Uppaal: Status & developments
KeywordsLabel Transition System Symbolic State Reachability Analysis Danish National Research Foundation Formal Description Technique
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
- 1.Kåre J. Kristoffersen, Francois Larroussinie, Kim G. Larsen, Paul Pettersson, and Wang Yi. A compositional proof of a real-time mutual exclusion protocol. In Proc. of the 7th International Joint Conference on the Theory and Practice of Software Development, April 1997.Google Scholar
- 2.Kim G. Larsen, Paul Pettersson, and Wang Yi. Model-Checking for Real-Time Systems. In Proc. of Fundamentals of Computation Theory, volume 965 of Lecture Notes in Computer Science, pages 62–88, August 1995.Google Scholar
- 3.Wang Yi, Paul Pettersson, and Mats Daniels. Automatic Verification of Real-Time Communicating Systems By Constraint-Solving. In Proc. of the 7th International Conference on Formal Description Techniques, 1994.Google Scholar
© Springer-Verlag Berlin Heidelberg 1997