GitHub topics: deductive-verification
moves-rwth/caesar
Deductive verification infrastructure for probabilistic programs
Language: Rust - Size: 11.5 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 16 - Forks: 6
PSS1998/MicroViper-Verifier
A deductive program verification tool for MicroViper programming language
Language: Rust - Size: 94.7 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
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
tdelta/KollaborierbaR
A Collaborative Web IDE for Reasoning about Programs
Language: TypeScript - Size: 59.7 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0
