There are 25 repositories under formal-methods topic.
Lean 3's obsolete mathematical components library: please use mathlib4
Creusot helps you prove your code is correct in an automated fashion.
A gently curated list of companies using verification formal methods in industry
Verified Software Toolchain
Links to tools by subject
TLA+ language support for Visual Studio Code
Learn TLA+ for free! No prior experience necessary!
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more
Jupyter notebooks for tutorial on the Z3 SMT solver
A verification toolchain for Rust programs
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Neural Network Verification Software Tool
Public snapshots of "ACSL by Example"
Automated Schedule Generation for Time-Sensitive Networks (TSN).
Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
Library for building symbolically executable stack-based virtual machines
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
CoreIR Symbolic Analyzer
The Verifiably Safe Reinforcement Learning Framework
Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).