A Transformation Tool for LLVM IR programs to aid Deductive Verification
-
Updated
Aug 10, 2023 - C++
A Transformation Tool for LLVM IR programs to aid Deductive Verification
Formal automated verification of Lace's work-stealing deque using VerCors
Verification of the Prefix Sum OpenGL algorithm using the VerCors tools of the University of Twente
Add a description, image, and links to the vercors topic page so that developers can more easily learn about it.
To associate your repository with the vercors topic, visit your repo's landing page and select "manage topics."