Skip to main content.

UPDATED: New version of Uppaal CoVer available 2008-02-13!!

UPPAAL CoVer is a tool for creating test suites from UPPAAL models with coverage specified by coverage observers a.k.a. observer automata. UPPAAL CoVer has been updates, and is now developed from UPPAAL version 4.0. CoVer will no longer be supported for the Solaris platform. The supported platforms are now Win32, Linux, Mac OS X (Intel and PowerPC).


A preliminary version of version 1.4 is available in the download section.


The Uppaal CoVer tool is free for non-profit applications.

There are parts of the Uppaal CoVer Tool that comes from Uppaal, therefore the user must agree to the Uppaal license.

Further information may be found at this web site in the pages About, Documentation, Download, and Publications.


For comments about the website, please email the author.