UPPAAL COVER

Submitted by jkenanian on Tue, 06/27/2017 - 3:34pm

UPPAAL CoVer

Description: 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).

VO Integration: No

Active: No

Available Benchmarks: No

Website: http://user.it.uu.se/~hessel/CoVer/

Download: Link

Documentation: Tool documentation and publications.

Contact: Anders Hessel

Excerpt taken from: http://user.it.uu.se/~hessel/CoVer/