ItsRqtl/cbmc.py 📦

An unofficial 麥塊匿名發文平台 API wrapper.

Language: Python - Size: 35.2 KB - Last synced at: 16 days ago - Pushed at: 3 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: 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: 20 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: over 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