This page’s menu:

Changelog

This version history documents the devlopements in Uppaal since the first beta release of Uppaal 3.0 in July 20, 1999.

The version history of the previous Uppaal versions (i.e. version 2.17 and earlier) can be found in this README file.