utwente-fmt / vercors

The VerCors verification toolset for verifying parallel and concurrent software

https://utwente.nl/vercors

Mozilla Public License 2.0

55 stars 26 forks source link

Closed pieter-bos closed 6 months ago

pieter-bos commented 6 months ago

Before merging this PR, please check the following:

[x] I made sure the wiki is updated in accordance with the changes in this PR. For example, syntax changes, semantics changes, VerCors flags changes, etc.

PR description

Describe the motivation of the PR and the changes it introduces. Why is it needed, and what does it change?