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 Ph.D., under supervision of the Testing Real-Time Systems project leader Prof. Paul Petterson. CoVer has been transferred from Uppaal 3.6 to Uppaal 4.0 with help of Fredrik Stenh. The project cooperates with the Testing of Reactive Systems group.