My own notes (drafts mostly) about software quality
-
Updated
Feb 1, 2023
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
Links to tools by subject
Neural Network Verification Software Tool
Verification framework and tool for higher-order Scala programs
Creusot helps you prove your code is correct in an automated fashion.
Learn TLA+ for free! No prior experience necessary!
Automated Schedule Generation for Time-Sensitive Networks (TSN).
A gently curated list of companies using verification formal methods in industry
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
TLA+ language support for Visual Studio Code
The Overture Tool
MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more
Public snapshots of "ACSL by Example"
Jupyter notebooks for tutorial on the Z3 SMT solver
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."