formal-methods
Here are 369 public repositories matching this topic...
ACL2 System and Books as Maintained by the Community
-
Updated
Jun 26, 2024 - Common Lisp
A human-friendly and developer-friendly math proof assistant
-
Updated
Jun 26, 2024 - Python
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.
-
Updated
Jun 25, 2024 - Coq
A community sourced free tla+ formal methods wiki.
-
Updated
Jun 25, 2024 - CSS
Creusot helps you prove your code is correct in an automated fashion.
-
Updated
Jun 25, 2024 - Rust
[WIP] A formalised proof of a generalised Carleson's Theorem in the Lean proof assistant.
-
Updated
Jun 25, 2024 - TeX
A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
-
Updated
Jun 25, 2024 - JavaScript
A verification toolchain for Rust programs
-
Updated
Jun 25, 2024 - OCaml
Interface with the rustc compiler for the purpose of program verification
-
Updated
Jun 25, 2024 - Rust
Formal specifications of the cardano ledger
-
Updated
Jun 26, 2024 - Agda
Read-only mirror of the Klever Git repository
-
Updated
Jun 25, 2024 - Python
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
-
Updated
Jun 24, 2024 - Python
Standard library for [Imandra](https://imandra.ai)
-
Updated
Jun 24, 2024 - Makefile
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
-
Updated
Jun 23, 2024 - Lean
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
-
Updated
Jun 25, 2024 - Java
STAMINA - the STochiastic Approximate Model-checker for INfinite-state Analysis, integrated with the Storm model checking engine.
-
Updated
Jun 24, 2024 - C++
-
Updated
Jun 21, 2024 - JavaScript
Improve this page
Add a description, image, and links to the formal-methods topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the formal-methods topic, visit your repo's landing page and select "manage topics."