There are 32 repositories under formal-verification topic.
A static verifier for Rust, based on the Viper verification infrastructure.
Creusot helps you prove your code is correct in an automated fashion.
十分钟魔法练习
A gently curated list of companies using verification formal methods in industry
A List of Free and Open Source Hardware Verification Tools and Frameworks
Verified Software Toolchain
A Fast and Safe Python based on PyPy
My personal repository of formally verified mathematics.
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Scalable symbolic-numeric set computations in Julia
Awesome ASIC design verification
A curated set of links to formal methods involving provable code.
Computing reachable states of dynamical systems in Julia
Learn TLA+ for free! No prior experience necessary!
Release snapshots of the Frama-C platform for source code analysis
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
😎 💡 Collection of the most awesome learning resources on computer systems in the form of videos, courses and tutorials.
Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 Formal verification
A verification toolchain for Rust programs
Formal specification and verification of hardware, especially for security and privacy.
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Neural Network Verification Software Tool
Correctness proofs of Ethereum token contracts
Public snapshots of "ACSL by Example"