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.
☆138Mar 1, 2026Updated 3 months 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:
- Translation of SSH3 project (from commit c39bb79cdce479f6095ab154a32a168e14d73b57) to Python 3 library. Check the original project for mo…☆14Jan 7, 2024Updated 2 years ago
- A comprehensive repository for Compute Express Link (CXL) resources: covering research papers, specifications, simulation/emulation tools…☆25Feb 24, 2026Updated 3 months ago
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆32Jun 2, 2026Updated last week
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆29Dec 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…☆20Aug 8, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Recent papers related to hardware formal verification.☆77Sep 20, 2023Updated 2 years ago
- VSCode extension to streamline Maestro workflows and enhance productivity☆14Oct 10, 2024Updated last year
- Solving_an_Optimization_Problem_in_an_Active_RIS_Assisted_ISAC_System_Using_DRL_Algorithms_(DDPG_and_SAC)_ - Jupyter Notebook☆22Aug 22, 2024Updated last year
- ☆15Aug 8, 2024Updated last year
- Gamepad Tester for Xbox 360 Console☆25Feb 25, 2026Updated 3 months ago
- This repository is dedicated to providing a comprehensive guide and practical examples for using VC Formal for formal verification. Our g…☆48Mar 3, 2024Updated 2 years ago
- Logic circuit analysis and optimization☆49Feb 2, 2026Updated 4 months ago
- A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.☆41Mar 5, 2024Updated 2 years ago
- Simple MIDAS Examples☆12Nov 25, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆25Updated this week
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- Lista de material dos encontros do Clube de Leitura Dev☆21Oct 16, 2024Updated last year
- SEMA is based on angr, a symbolic execution engine used to extract API calls. Especially, we extend ANGR with strategies to create repr…☆122Mar 10, 2025Updated last year
- Automatically subscribes to YouTube channels from a backup CSV file☆51Jan 27, 2025Updated last year
- BountyDork is a comprehensive tool designed for penetration testers and cybersecurity researchers. It integrates various modules for perf…☆26Jun 25, 2024Updated last year
- A quick guide to triple boot your system (Windows, GNU/Linux, Mac)☆13Aug 16, 2024Updated last year
- Let your site's visitors share your work with the fediverse!☆10Dec 5, 2025Updated 6 months ago
- ☆17Nov 28, 2025Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- AI assisted Shell, aka "Ash". Wraps around your existing shell and brings AI-LLM to the CLI for analyzing EDA files.☆28Apr 6, 2026Updated 2 months ago
- Functional heterogeneous list (hlist) library for Rust☆11Jun 28, 2020Updated 5 years ago
- Engineering Program on RTL Design for FPGA Accelerator☆33Aug 1, 2020Updated 5 years ago
- OCEAN – Open-source CXL Emulation at Hyperscale Architecture and Networking.☆32May 20, 2026Updated 2 weeks ago
- ☆18Jul 20, 2022Updated 3 years ago
- The Cubicle model checker☆14May 29, 2026Updated last week
- Reimplementation of a subset of Cabal☆36Updated this week
- Refinement type checking and inference tool for Rust☆21Updated this week
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆23Mar 29, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Nexss PROGRAMMER 2.x - innovative and evolutionary programming tool - over 50 programming languages☆15Sep 19, 2025Updated 8 months ago
- Verilog development and verification project for HOL4☆28Apr 25, 2025Updated last year
- This contains a list of tools for security assessments of android applications.☆48Apr 21, 2025Updated last year
- ☆13Apr 10, 2025Updated last year
- ☆13Jan 7, 2026Updated 5 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆105Jun 2, 2026Updated last week
- Implementation of the languages from the EOPL textbook in Haskell and Standard ML.☆15Dec 22, 2019Updated 6 years ago