UPPAAL in 1995

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

Abstract

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.
Published
1996-06-30
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