The P programming language.
-
Updated
May 22, 2024 - C#
The P programming language.
HACL*, a formally verified cryptographic library written in F*
Toolset to capture, simulate, synthesize and verify graph models
A static verifier for Rust, based on the Viper verification infrastructure.
ACL2 System and Books as Maintained by the Community
Verified Software Toolchain
CakeML: A Verified Implementation of ML
Awesome ASIC design verification
A List of Free and Open Source Hardware Verification Tools and Frameworks
Neural Network Verification Software Tool
Creusot helps you prove your code is correct in an automated fashion.
Please see https://github.com/hacspec/hax
Learn TLA+ for free! No prior experience necessary!
Release snapshots of the Frama-C platform for source code analysis
A gently curated list of companies using verification formal methods in industry
十分钟魔法练习
Information about the Interchain Foundation Funding Program
Scalable symbolic-numeric set computations in Julia
A Fast and Safe Python based on PyPy
An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
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."