Version 1/24 - Next ยป - Current version
Stefan Blom, 16 Apr 2012 15:30


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:
  • Histogram : a tool for creating Histograms of class/method occurrences.
  • "The VerCors verifier":