Skip to main content.

UPPAAL CoVer 1.4 is based on verifyta (from UPPAAL 4.0.0), developed by the UPPAAL team.

The CoVer extension is developed and maintained by Anders Hessel. Development is done in cooperation with Paul Petterson and the Real-Time Systems Modelling and Analysis group at Mälardalen University.

Originally UPPAAL CoVer was developed in the Testing Real-Time Systems project at Uppsala University.

Thanks to Fredrik Stenh that was helping us in the transfer of CoVer between UPPAAL 3.6 and UPPAAL 4.0.