Verification Examples and Statistics.

A detailed list of verification examples can be found here.

Dowloadable version of the toolset.

See github

The latest release of VerCors (as a collection of jars) can be downloaded here

List of publications.

The full list of publications related to VerCors can be found here.

UT_Logo_2400_Black_EN.png (60 KB) Wojciech Mostowski, 02 Dec 2013 16:28