UPPAAL in 1995

Authors

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

DOI:

https://doi.org/10.7146/brics.v3i60.18772

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.

Downloads

Published

1996-06-30

How to Cite

Bengtsson, J., Larsen, K. G., Larsson, F., Pettersson, P., & Yi, W. (1996). UPPAAL in 1995. BRICS Report Series, 3(60). https://doi.org/10.7146/brics.v3i60.18772

Issue

No. 60 (1996): RS-60 UPPAAL in 1995

Section

Articles

License

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.