The VerCors Toolset

Overview

The VerCors project is about Verification of Concurrent Data Structures.

The VerCors toolset currently consists of two tools:

Further Information.

Working with the tools.

There are two ways to try the tool: