Skip to main content.


Current version is a preliminary 1.4. This version is built on Uppaal 4.0.

UPPAAL CoVer is based on UPPAAL verifyta, therefore you will have to accept the UPPAAL license agreement. Most of the code for the extension are however separate from UPPAAL and may be adapted for other types of models.

The 1.4 version is available for Mac OS X (ppc/intel), Windows, and Linux. Please report any bugs found to

Download: CoVer 1.4