55 Open Source Formal Methods Software Projects
Free and open source formal methods code projects including engines, APIs, generators, and tools.
Spark By Example 125 ⭐
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
Fm Ouroboros 81 ⭐
Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
Recordflux 73 ⭐
Formal message specification and generation of verifiable binary parsers and message generators
Nand2coq 40 ⭐
Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).
Fm Notes 18 ⭐
Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
Reelay 18 ⭐
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
Plt Formal Methods Resources 21 ⭐
Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
Unive Ssv Lisa 13 ⭐
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
Creusot 229 ⭐
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
Blainehansen Magma 257 ⭐
A dependently-typed language intended to make provably correct code possible for working software engineers.