The VerCors Toolset¶
The VerCors project is about Verification of Concurrent Data Structures.The VerCors toolset currently consists of two tools:
- Histogram: a tool for creating Histograms of class/method occurrences.
- The VerCors verifier: an annotated code compiler/verifier.
Working with the tools.¶
There are two ways to try the tool: