1 result found Sort:

utwente-fmt
vercors utwente-fmt
24
51
mpl-2.0
9
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
10,874 commits to dev branch, last one 7 days ago