The P programming language.
-
Updated
May 31, 2024 - C#
The P programming language.
HACL*, a formally verified cryptographic library written in F*
A static verifier for Rust, based on the Viper verification infrastructure.
Creusot helps you prove your code is correct in an automated fashion.
CakeML: A Verified Implementation of ML
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
十分钟魔法练习
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
A gently curated list of companies using verification formal methods in industry
A List of Free and Open Source Hardware Verification Tools and Frameworks
Verified Software Toolchain
A Fast and Safe Python based on PyPy
ACL2 System and Books as Maintained by the Community
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs!
My personal repository of formally verified mathematics.
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
formally verified category theory library
Please see https://github.com/hacspec/hax
Scalable symbolic-numeric set computations in Julia
Awesome ASIC design verification
Add a description, image, and links to the formal-verification topic page so that developers can more easily learn about it.
To associate your repository with the formal-verification topic, visit your repo's landing page and select "manage topics."