vercors

There are 0 repository under vercors topic.

• Drevanoorschot / VCLLVM

  A Transformation Tool for LLVM IR programs to aid Deductive Verification

  deductive-verificationllvmllvm-irvercorsvercors-toolset
  Language:C++ 1

• coenvk / lace-vercors

  Formal automated verification of Lace's work-stealing deque using VerCors

  concurrencydequeparallelismtask-basedvercorsverificationwork-stealing

• NLthijs48 / PrefixSumVerification

  Verification of the Prefix Sum OpenGL algorithm using the VerCors tools of the University of Twente

  vercors-toolsetvercorsgpuopencl
  Language:HTML