SeaHorn Verification Framework
SMACK Software Verifier and Verification Toolchain
contrib/amcheck from Postgres v11 backported to earlier Postgres versions
OpenMP Offloading Validation & Verification Suite; Official repository. We have migrated from bitbucket!! For documentation, results, publication and presentations, please check out our website ->
Linux kernel library functions formally verified.
Main repository of the Vigor NF verification project.
generative programming & verification
C language Independent Verification & Validation
VACSEM: Verifying Average Errors in Approximate Circuits Using Simulation-Enhanced Model Counting
A RISC-V RV32 model ready for SMT program synthesis.
"Testing Static Analyses for Precision and Soundness". This is an artifact of our work accepted at the CGO 2020.
DTW based Text-Dependent Speaker Verification on ESP-EYE
Reference cast-as-intended verifier for Sequent. Allows voters to audit spoiled ballots.
A formally verified implementation of a bolt-on security device for ICS networks. Designed with TLA+ and written/proved in F*
An implementation of the New Zealand COVID Pass specification in C
Add a description, image, and links to the verification topic page so that developers can more easily learn about it.
To associate your repository with the verification topic, visit your repo's landing page and select "manage topics."