Lean Theorem Prover
-
Updated
Oct 14, 2023 - C++
Lean Theorem Prover
An advanced SAT solver
Automatic verification of LLVM optimizations
Simple Theorem Prover, an efficient SMT solver for bitvectors
Open-Source Framework for Development, Simulation and Benchmarking of Behavior Planning Algorithms for Autonomous Driving
A library for building abstract interpretation-based analyses
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
A Modeling and Verification Platform for SoCs using ILAs
Static verification tool for DNS zone files
A model checker for infinite-state systems.
An open-source design automation framework for Field-coupled Nanotechnologies
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
Teaching and Learning Software Verification via SVF
Synchronous, single-threaded, library-only SYCL implementation for debugging and verification.
Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)
EOS smart contract to verify merkle proofs
Memory consistency model checking and test generation library.
Add a description, image, and links to the verification topic page so that developers can more easily learn about it.
To associate your repository with the verification topic, visit your repo's landing page and select "manage topics."