vercors-toolset

Here are 3 public repositories matching this topic...

The VerCors verification toolset for verifying parallel and concurrent software

c java opencl concurrency openmp verification viper parallelism software-analysis separation-logic vercors-toolset

A Transformation Tool for LLVM IR programs to aid Deductive Verification

llvm llvm-ir vercors-toolset vercors deductive-verification

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

gpu opencl vercors-toolset vercors

Add a description, image, and links to the vercors-toolset topic page so that developers can more easily learn about it.

To associate your repository with the vercors-toolset topic, visit your repo's landing page and select "manage topics."