cbmc
Here are 13 public repositories matching this topic...
Program for helping in the automation of the process of generating input test cases for the code coverage analysis of a set of functions.
-
Updated
May 31, 2018 - Python
Encoding Vesicle Traffic System in Z3 and CBMC
-
Updated
Sep 24, 2019 - TeX
Bounded model checking on lock free data structure
-
Updated
Dec 30, 2020 - C
Towards automatic voting rule argumentation by using computer-aided verification such as software bounded model checking.
-
Updated
Jul 13, 2021 - C
Expediting verification of assertions in loops by isolation
-
Updated
Dec 30, 2022 - OCaml
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.
-
Updated
Feb 8, 2023 - C
Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).
-
Updated
Apr 9, 2023 - Boogie
-
Updated
Apr 28, 2023 - Jupyter Notebook
Verification of Lock-Free Data Structure
-
Updated
Sep 20, 2023 - Python
Improve this page
Add a description, image, and links to the cbmc topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the cbmc topic, visit your repo's landing page and select "manage topics."