Overview

Version 21 (Stefan Blom, 17 Nov 2013 11:39)

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