My own notes (drafts mostly) about software quality
the champagne of beta embedded databases
Lean 3's obsolete mathematical components library: please use mathlib4
The P programming language.
HACL*, a formally verified cryptographic library written in F*
ACL2 System and Books as Maintained by the Community
Verified Software Toolchain
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Links to tools by subject
Creusot helps you prove your code is correct in an automated fashion.
Verification framework and tool for higher-order Scala programs
Neural Network Verification Software Tool
Learn TLA+ for free! No prior experience necessary!
A gently curated list of companies using verification formal methods in industry
Automated Schedule Generation for Time-Sensitive Networks (TSN).
TLA+ language support for Visual Studio Code
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
A verification toolchain for Rust programs
The Overture Tool
Interface with the rustc compiler for the purpose of program verification
Add a description, image, and links to the formal-methods topic page so that developers can more easily learn about it.
To associate your repository with the formal-methods topic, visit your repo's landing page and select "manage topics."