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

RSS Recent releases

  •  09 Mar 2007 04:40

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

  •  14 Feb 2007 04:47

Release Notes: A regression from 4.0.3 was fixed.

  •  04 Jan 2007 02: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 11: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 10:50

Release Notes: Trace generation was fixed.


Project Spotlight

Magento One Step Checkout

One step check out is a magento extension. It's a simple way for the customers to complete the checkout.


Project Spotlight


An SSL VPN server.