Lean Theorem Prover
-
Updated
Oct 14, 2023 - C++
#
verification
Here are 77 public repositories matching this topic...
Automatic verification of LLVM optimizations
llvm verification symbolic-execution model-checking smt llvm-ir translation-validation automatic-verification
-
Updated
Dec 3, 2025 - C++
An advanced SAT solver
-
Updated
Dec 14, 2025 - C++
Simple Theorem Prover, an efficient SMT solver for bitvectors
-
Updated
Oct 23, 2025 - C++
Open-Source Framework for Development, Simulation and Benchmarking of Behavior Planning Algorithms for Autonomous Driving
benchmark machine-learning simulator research reinforcement-learning robotics simulation verification deep-reinforcement-learning artificial-intelligence multi-agent bark self-driving-car autonomous-driving autonomous-vehicles bark-simulator
-
Updated
Feb 6, 2024 - C++
A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
-
Updated
Oct 23, 2024 - C++
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
-
Updated
Dec 4, 2025 - C++
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
python tum verification quantum-computing cpp17 decision-diagrams quantum-circuits mqt equivalence-checker jku zx-calculus
-
Updated
Dec 15, 2025 - C++
An open-source design automation framework for Field-coupled Nanotechnologies
simulation layout routing verification eda fcn logic-synthesis placement nml qca emerging-tech nanocomputing clocking sidb
-
Updated
Dec 16, 2025 - C++
A Modeling and Verification Platform for SoCs using ILAs
-
Updated
Jul 3, 2024 - C++
Static verification tool for DNS zone files
-
Updated
Jan 8, 2023 - C++
SRI Sally: A model checker for infinite-state systems.
-
Updated
Jul 31, 2025 - C++
Pick your favorite language to verify your chip.
-
Updated
Dec 4, 2025 - C++
c c++ network authorize service.c c++ 网络验证服务.c c++ 网络授权服务
-
Updated
Dec 16, 2025 - C++
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
verification stream-processing header-only temporal-logic formal-methods assertion-library runtime-verification cyber-physical-systems system-verification
-
Updated
Dec 7, 2025 - C++
Synchronous, single-threaded, library-only SYCL implementation for debugging and verification.
-
Updated
Sep 2, 2025 - C++
Teaching and Learning Software Verification via SVF
-
Updated
Dec 17, 2025 - C++
Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks
-
Updated
Dec 16, 2025 - C++
10GbE XGMII TCP/IPv4 packet generator for Verilog
-
Updated
Jan 28, 2025 - C++
A design automation framework to engineer decision diagrams yourself
-
Updated
Dec 17, 2025 - C++
Improve this page
Add a description, image, and links to the verification topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the verification topic, visit your repo's landing page and select "manage topics."