UPPAAL in 1995

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

December 1996


UPPAAL is a tool suite for automatic verification of safety and bounded liveness properties of real-time systems modeled as networks of timed automata , 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..

The current version of UPPAAL is available on the World Wide Web via the UPPAAL home page http://www.docs.uu.se/docs/rtmv/uppaal

Available as PostScript, PDF.


Last modified: 2003-06-08 by webmaster.