Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized collection of high-quality resources to help professionals, researchers, and enthusiasts stay updated and advance their knowledge in the field.
☆153Jun 27, 2026Updated 3 weeks ago
Alternatives and similar repositories for awesome-formal-verification
Users that are interested in awesome-formal-verification are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- launchpad smart contract create token, bonding curve, pool creation on solana☆11Aug 8, 2024Updated last year
- A comprehensive repository for Compute Express Link (CXL) resources: covering research papers, specifications, simulation/emulation tools…☆26Feb 24, 2026Updated 4 months ago
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- Recent papers related to hardware formal verification.☆78Sep 20, 2023Updated 2 years ago
- PyTorch Memory Efficient Sparse Sparse Matrix Multiplication☆12Aug 12, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆153May 8, 2026Updated 2 months ago
- Tutorial on modeling with TLA+☆24May 5, 2026Updated 2 months ago
- ☆10Aug 8, 2024Updated last year
- tools and benchmarks for verified coding☆27Jun 5, 2026Updated last month
- This project contains the code and data accompanying our paper "Certifying almost all quantum states with few single-qubit measurements".☆12Nov 27, 2024Updated last year
- [ICHMS 2025] Polyp SAM 2: Advancing Zero shot Polyp Segmentation in Colorectal Cancer Detection☆16Aug 13, 2024Updated last year
- An open core EFI that will help you turn your ideapad gaming 3 (15ach6) into a Hackintosh!☆13Aug 10, 2024Updated last year
- ☆209Updated this week
- Evaluating Program Reasoning of LLMs via Formal Specification Inference (ACL 2025)☆15Sep 21, 2025Updated 10 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆30Dec 21, 2024Updated last year
- The script checks Jenkins endpoints for CVE-2024-43044 by retrieving the Jenkins version from the innstance and comparing it against know…☆22Aug 8, 2024Updated last year
- A verification toolchain for Rust programs☆867Updated this week
- Lean 4 tactic library for closing proofs across applied mathematics. Probability, statistics, biology, chemistry, economics, engineering,…☆16Updated this week
- An intermediate verification language☆27Jan 4, 2026Updated 6 months ago
- Fork of ag with added support for PCRE2 and ~/.agrc☆15Jan 30, 2022Updated 4 years ago
- An automated deductive program verifier based on concurrent separation logic☆30Updated this week
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year
- Definition of the Viper intermediate verification language.☆99Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Here we collect worldwide courses teaching formal methods☆48Jul 5, 2019Updated 7 years ago
- The ADUni course material, and extra info.☆15Sep 17, 2011Updated 14 years ago
- ☆13Aug 23, 2024Updated last year
- Scaling Reasoning for the Age of AI☆109Updated this week
- ☆17Nov 10, 2025Updated 8 months ago
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated 2 years ago
- Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.☆1,140Updated this week
- The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials☆132Apr 22, 2025Updated last year
- OCEAN – Open-source CXL Emulation at Hyperscale Architecture and Networking.☆33Jun 20, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- a Lean4 framework for the modeling and refinement of stateful systems☆30Jun 17, 2026Updated last month
- CoreIR Symbolic Analyzer☆75Oct 27, 2020Updated 5 years ago
- Logic circuit analysis and optimization☆52Feb 2, 2026Updated 5 months ago
- A Rust crate that implements "design by contract" via procedural macros☆41Updated this week
- ☆111Jun 2, 2026Updated last month
- WybeCoder Verified Generation of Imperative Code with LLMs☆36May 6, 2026Updated 2 months ago
- RTLMeter benchmark suite☆31Jul 10, 2026Updated last week