UPPAAL in 1995

  • Johan Bengtsson
  • Kim G. Larsen
  • Fredrik Larsson
  • Paul Pettersson
  • Wang Yi


UPPAAL is a tool suite for automatic verification of safety and
bounded liveness properties of real-time systems modeled as networks of timed automata
[12, 9, 4], developed during the past two years. In this paper, we summarize
the main features of UPPAAL in particular its various extensions developed in 1995
as well as applications to various case-studies, review and provide pointers to the
theoretical foundation.
How to Cite
Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P., & Yi, W. (1996). UPPAAL in 1995. BRICS Report Series, 3(60). https://doi.org/10.7146/brics.v3i60.18772