Read-only mirror of the Klever Git repository
-
Updated
Jun 5, 2024 - Python
Read-only mirror of the Klever Git repository
ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk
ACL2 System and Books as Maintained by the Community
A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy formal verification tool to check time properties. Furthermore, it extends Ivy’s capabilities with a dedicated time module, enabling the verification of complex quantitative-time properties.
A verification toolchain for Rust programs
Formal specifications of the cardano ledger
Interface with the rustc compiler for the purpose of program verification
Creusot helps you prove your code is correct in an automated fashion.
Formal verification tool for Solidity
A human-friendly and developer-friendly math proof assistant
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*
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
The P programming language.
Verified Software Toolchain
Imandra Protocol Language VS Code Plugin
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
B specification for a simplified version of the classic Spaceship & Asteroids arcade game, utilizing the B tools Atelier B and ProB.
[WIP] A formalised proof of a generalised Carleson's Theorem in the Lean proof assistant.
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."