Uppaal: Status & developments

  • Kim G. Larsen
  • Paul Pettersson
  • Wang Yi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1254)


Label 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. 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. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Kim G. Larsen
    • 1
  • Paul Pettersson
    • 2
  • Wang Yi
    • 2
  1. 1.Department of Computer Science and MathematicsAalborg UniversityDenmark
  2. 2.Department of Computer SystemsUppsala UniversitySweden

Personalised recommendations