GitHub topics: cbmc
ItsRqtl/cbmc.py 📦
An unofficial 麥塊匿名發文平台 API wrapper.
Language: Python - Size: 35.2 KB - Last synced at: 5 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

VeriVote/beast
BEAST aims to make the verification of voting rules easier
Language: Java - Size: 81.2 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 6 - Forks: 2

codersguild/Software-Analysis-PAVT
Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).
Language: Boogie - Size: 21.9 MB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 37 - Forks: 6

MagicTeaMC/cbmc.js
這是一個用於麥塊匿名發文平台的 npm package。
Language: JavaScript - Size: 22.5 KB - Last synced at: 9 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

DavyOcean/p.v.t.-assignments-i
Assignment files for the course Program Verification Techniques. Reports are on Overleaf.
Language: C - Size: 545 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

arey0pushpa/pyZ3
Encoding Vesicle Traffic System in Z3 and CBMC
Language: TeX - Size: 13 MB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 1

gilhooleyd/CBMC-Vboot
This repo investigates Chrome's Verified Boot (Vboot) through C Bounded Model Checker (CBMC) and the use of the Software TPM library
Language: C - Size: 39 MB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 6 - Forks: 1

dj-d/VoLFDS
Verification of Lock-Free Data Structure
Language: Python - Size: 314 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

varunk122/CBMC_CHAIN_SIMULATION
Language: Jupyter Notebook - Size: 2.75 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

mi-ki/cardCryptoVerification
This program introduces formal verification to card-based cryptography by providing a technique which automatically finds new protocols using as few as possible operations and searches for lowest bounds on card-minimal protocols.
Language: C - Size: 43 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 1

MuradAkh/Qicc
Expediting verification of assertions in loops by isolation
Language: OCaml - Size: 1.08 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

Luigi-Crisci/BMC-Benchmark-Generator-LF
Bounded model checking on lock free data structure
Language: C - Size: 42.4 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 4

mi-ki/voting-rule-argumentation
Towards automatic voting rule argumentation by using computer-aided verification such as software bounded model checking.
Language: C - Size: 6.32 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 1

JordiROP/Automatic-Test-Case-Generation-With-CMBC
Program for helping in the automation of the process of generating input test cases for the code coverage analysis of a set of functions.
Language: Python - Size: 9.77 KB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
