« Previous - Version 2/24 (diff) - Next » - Current version
Stefan Blom, 16 Apr 2012 15:35


Overview

The VerCors project is about Verification of Concurrent Data Structures.

The project description can be found

The VerCors toolset currently consists of two tools: