All Categories → Software Development → formal-methods

Top 32 formal-methods open source projects

Stainless
Verification framework and tool for higher-order Scala programs
Acl2
ACL2 System and Books as Maintained by the Community
Spark By Example
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
Hacl Star
HACL*, a formally verified cryptographic library written in F*
Ouroboros High Assurance
High-assurance implementation of the Ouroboros protocol family
Scallina
A Coq-based synthesis of Scala programs which are correct-by-construction
Cosa
CoreIR Symbolic Analyzer
Mathlib
Lean mathematical components library
Oak
Meaningful control of data in distributed systems.
Practical Fm
A gently curated list of companies using verification formal methods in industry
z-eves
Z-EVES for linux. Probably the only place you can find it
z3 tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver
fm-notes
Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
TSNsched
Automated Schedule Generation for Time-Sensitive Networks (TSN).
high-assurance-legacy
Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
tlacli
A script for running TLA+/TLC from the command line
mSAT
A modular sat/smt solver with proof output.
1-32 of 32 formal-methods projects