« Previous - Version 4/24 (diff) - Next » - Current version
Stefan Blom, 14 Jun 2012 21:24


Overview

The VerCors project is about Verification of Concurrent Data Structures.

The VerCors toolset currently consists of two tools:

Installation

Prerequisites

Linux