SeaHorn Verification Framework
-
Updated
Jun 17, 2024 - C
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.
Virtual processor co-simulation element for Verilog, VHDL and SystemVerilog environments
generative programming & verification
C language Independent Verification & Validation
A RISC-V RV32 model ready for SMT program synthesis.
VACSEM: Verifying Average Errors in Approximate Circuits Using Simulation-Enhanced Model Counting
"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
A formally verified implementation of a bolt-on security device for ICS networks. Designed with TLA+ and written/proved in F*
Reference cast-as-intended verifier for Sequent. Allows voters to audit spoiled ballots.
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."