utwente-fmt / vercors Star 49 Code Issues Pull requests Discussions The VerCors verification toolset for verifying parallel and concurrent software c java opencl concurrency openmp verification viper parallelism software-analysis separation-logic vercors-toolset Updated Jun 6, 2024 Scala
Drevanoorschot / VCLLVM Star 1 Code Issues Pull requests A Transformation Tool for LLVM IR programs to aid Deductive Verification llvm llvm-ir vercors-toolset vercors deductive-verification Updated Aug 10, 2023 C++
NLthijs48 / PrefixSumVerification Star 0 Code Issues Pull requests Verification of the Prefix Sum OpenGL algorithm using the VerCors tools of the University of Twente gpu opencl vercors-toolset vercors Updated Feb 8, 2018 HTML