Overview

Version 22 (Stefan Blom, 17 Nov 2013 11:47)

1 22 Stefan Blom
h1. The VerCors Toolset
2 1 Stefan Blom
3 20 Stefan Blom
!>{width:100px}http://fmt.ewi.utwente.nl/files/LOGO-ERC.jpg!
4 1 Stefan Blom
5 22 Stefan Blom
h2. Overview
6 22 Stefan Blom
7 3 Stefan Blom
The "VerCors project":http://fmt.ewi.utwente.nl/research/projects/VerCors/ is about Verification of Concurrent Data Structures.
8 1 Stefan Blom
9 1 Stefan Blom
The VerCors toolset currently consists of two tools:
10 2 Stefan Blom
* "Histogram":http://fmt.ewi.utwente.nl/tools/histogram: a tool for creating Histograms of class/method occurrences.
11 1 Stefan Blom
* [[Verifier Overview|The VerCors verifier]]: an annotated code compiler/verifier.
12 4 Stefan Blom
13 22 Stefan Blom
h2. Further Information.
14 1 Stefan Blom
15 22 Stefan Blom
* [[examples|verified examples]].
16 22 Stefan Blom
* [[publications|list of publications]]
17 22 Stefan Blom
18 22 Stefan Blom
h2. Working with the tools.
19 22 Stefan Blom
20 21 Stefan Blom
There are two ways to try the tool:
21 15 Stefan Blom
22 21 Stefan Blom
* Using the "online version of the verifier":http://fmt.ewi.utwente.nl/puptol/vercors-verifier/ , described 
23 15 Stefan Blom
[[Puptol|here]]
24 21 Stefan Blom
* By [[Downloads|downloading]] and [[Installation|installing]] the tool.