Projects / UPPAAL


UPPAAL is an integrated tool environment for modeling, validation, and verification of real time systems, modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.). Typical application areas include real time controllers and communication protocols, in particular those where timing aspects are critical.

Operating Systems

Recent releases

  •  09 Mar 2007 12:40

    Release Notes: This release fixes crash bugs and a memory leak.

    •  14 Feb 2007 12:47

      Release Notes: A regression from 4.0.3 was fixed.

      •  04 Jan 2007 10:16

        Release Notes: Several critical bugs that lead to wrong answers have been fixed. A number of functionality bugs have been resolved.

        •  16 Oct 2006 18:20

          Release Notes: This is a maintenance release that fixes problems in the syntax converter, the color scheme on Windows, Solaris 9 support, command line EPS support, and more.

          •  10 Sep 2006 17:50

            Release Notes: Trace generation was fixed.


            Project Spotlight


            A Fluent OpenStack client API for Java.


            Project Spotlight

            TurnKey TWiki Appliance

            A TWiki appliance that is easy to use and lightweight.