« Previous - Version 21/24 (diff) - Next » - Current version
Stefan Blom, 17 Nov 2013 11:39


Overview

The VerCors project is about Verification of Concurrent Data Structures.

The VerCors toolset currently consists of two tools:

Working with the tools.

There are two ways to try the tool:

Online version.

Downloadable version.

Online Demo

Several verified examples are available in the online version of the verifier , described here