ACL2 System and Books as Maintained by the Community
-
Updated
Jun 9, 2024 - Common Lisp
ACL2 System and Books as Maintained by the Community
A cryptographic framework, proven for correctness in SPARK
Verifier of Lifted Pascal in Coq
Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified and auditable security monitor.
Master's Thesis in Computer Science: Verification of the Blocking and Non-Blocking Michael-Scott Queue Algorithms
Scalable symbolic-numeric set computations in Julia
Formal verification tool for Solidity
A high-performance IC3/PDR algorithm implementation in Rust.
DafnyBench: A Benchmark for Formal Software Verification
Toolset to capture, simulate, synthesize and verify graph models
Creusot helps you prove your code is correct in an automated fashion.
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs!
🩺🛣️ IBP IoU an approach for the formal verificaion of object detection models.
Research Artifact of HPCA 2024 Paper: *Modeling, Derivation, and Automated Analysis of Branch Predictor Security Vulnerabilities*.
Read-only mirror of the Klever Git repository
Add a description, image, and links to the formal-verification topic page so that developers can more easily learn about it.
To associate your repository with the formal-verification topic, visit your repo's landing page and select "manage topics."