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.
|Tags||Scientific/Engineering Software Development Quality Assurance Testing|
|Operating Systems||Windows POSIX Linux Solaris|
Release Notes: This release fixes crash bugs and a memory leak.
Release Notes: A regression from 4.0.3 was fixed.
Release Notes: Several critical bugs that lead to wrong answers have been fixed. A number of functionality bugs have been resolved.
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.
Release Notes: Trace generation was fixed.