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


Overview

The VerCors project is about Verification of Concurrent Data Structures.

The VerCors toolset currently consists of two tools: