GitHub topics: vercors
Drevanoorschot/VCLLVM
A Transformation Tool for LLVM IR programs to aid Deductive Verification
Language: C++ - Size: 216 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
coenvk/lace-vercors
Formal automated verification of Lace's work-stealing deque using VerCors
Size: 6.84 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
NLthijs48/PrefixSumVerification
Verification of the Prefix Sum OpenGL algorithm using the VerCors tools of the University of Twente
Language: HTML - Size: 33.2 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
