Overview

Version 2 (Stefan Blom, 16 Apr 2012 15:35)

1 1 Stefan Blom
h1. Overview
2 1 Stefan Blom
3 1 Stefan Blom
The VerCors project is about Verification of Concurrent Data Structures.
4 1 Stefan Blom
5 1 Stefan Blom
The project description can be found
6 1 Stefan Blom
7 1 Stefan Blom
8 1 Stefan Blom
The VerCors toolset currently consists of two tools:
9 2 Stefan Blom
* "Histogram":http://fmt.ewi.utwente.nl/tools/histogram: a tool for creating Histograms of class/method occurrences.
10 2 Stefan Blom
* [[Verifier Overview|The VerCors verifier]]: an annotated code compiler/verifier.