utwente-fmt/vercors

The VerCors verification toolset for verifying parallel and concurrent software

Scala

111

7,403 commits

updated Sep 22, 2026

utwente.nl/vercors

c

concurrency

java

opencl

openmp

parallelism

separation-logic

software-analysis

vercors-toolset

verification

viper

Contributors

(top 30 of 40)

1,755 commits

1,613 commits

1,140 commits

399 commits

Languages

Scala

79.0%

C++

8.9%

Java

7.0%

ANTLR

2.1%

Python

1.0%

utwente-fmt/vercors

The VerCors verification toolset for verifying parallel and concurrent software

Scala

111

7,403 commits

updated Sep 22, 2026

utwente.nl/vercors

c

concurrency

java

opencl

openmp

parallelism

separation-logic

software-analysis

vercors-toolset

verification

viper

Contributors

(top 30 of 40)

1,755 commits

1,613 commits

1,140 commits

399 commits

Languages

Scala

79.0%

C++

8.9%

Java

7.0%

ANTLR

2.1%

Python

1.0%