ACL2 System and Books as Maintained by the Community
-
Updated
Jun 10, 2024 - Common Lisp
ACL2 System and Books as Maintained by the Community
A cryptographic framework, proven for correctness in SPARK
Athena is a modern, practical language for proof engineering & natural deduction.
CakeML: A Verified Implementation of ML
Master's Thesis in Computer Science: Verification of the Blocking and Non-Blocking Michael-Scott Queue Algorithms
HACL*, a formally verified cryptographic library written in F*
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.
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!
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."