1 result found Sort:

utwente-fmt
vercors utwente-fmt
29
73
mpl-2.0
10
The VerCors verification toolset for verifying parallel and concurrent software
c java viper opencl openmp concurrency parallelism verification vercors-toolset separation-logic software-analysis
Created 2016-03-17
11,496 commits to dev branch, last one 14 days ago