cbmc
There are 0 repository under cbmc topic.
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 34gilhooleyd / 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 6- Language:Java 6
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 5Luigi-Crisci / BMC-Benchmark-Generator-LF
Bounded model checking on lock free data structure
Language:C 2- Language:JavaScript 2
Towards automatic voting rule argumentation by using computer-aided verification such as software bounded model checking.
Language:C 2arey0pushpa / pyZ3
Encoding Vesicle Traffic System in Z3 and CBMC
Language:TeX 1JordiROP / 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 1- Language:OCaml 1
- Language:Python 0
- Language:Python
- Language:Jupyter Notebook
