A human-friendly and developer-friendly math proof assistant
-
Updated
May 26, 2024 - Python
A human-friendly and developer-friendly math proof assistant
A high-performance library for Mission-time Linear Temporal Logic (MLTL) parsing, Abstract Syntax Tree (AST) manipulation, and formula evaluation. Supports C++ and Python interfaces.
ACL2 System and Books as Maintained by the Community
A repository that contains files relevant to my master's thesis on TLA+ specification writing guidelines for state space reduction.
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
A verification toolchain for Rust programs
Formal analysis for the Electrod formal specification language
Formal specifications of the cardano ledger
Intention-Aware Control Using Stochastic Expansion Methods
Interface with the rustc compiler for the purpose of program verification
Creusot helps you prove your code is correct in an automated fashion.
The P programming language.
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Read-only mirror of the Klever Git repository
A formalised proof of Fermat's Last Theorem for exponent 3 in the Lean proof assistant.
Our Official Blog: we write about the development of EOLANG and 𝜑-calculus
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the Event-B formal method and provides natural support for refinement and mathematical proof.
HACL*, a formally verified cryptographic library written in F*
Learn TLA+ for free! No prior experience necessary!
This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance of the correctness and security of the library.
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."