Overview

Version 24 (Stefan Blom, 14 Apr 2016 20:08)

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 24 Stefan Blom
* Using the "online version of the verifier":http://fmt.ewi.utwente.nl/puptol/vercors-verifier/ , described [[Puptol|here]]
23 23 Stefan Blom
* By getting a cloning the github repository for "Histogram":http://www.github.com/utwente-fmt/histogram/ and/or "VerCors":http://www.github.com/utwente-fmt/vercors/