A design automation framework to engineer decision diagrams yourself

Teaching and Learning Software Verification via SVF

c c++ network authorize service.c c++ 网络验证服务.c c++ 网络授权服务

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

An open-source design automation framework for Field-coupled Nanotechnologies

An advanced SAT solver

A command line application that computes file checksums for a file tree and can verify file integrity against the same tree or at a new base directory.

Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks

A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

Pick your favorite language to verify your chip.

Automatic verification of LLVM optimizations

Header-only runtime data verification & protection library for C++20 and later. Compiler Support: MSVC (+WDM), LLVM, GCC. Architecture Support: x86-64

The C++ code below shows how to read a file, its associated signature, and a public key, and then verify the signature using the Monocypher library.

Fast file hash verification tool

xspcomm encapsulates the DPI-based digital circuit and provides various high-level language operation interfaces.

Model checker for Maude systems controlled by strategies

Simple Theorem Prover, an efficient SMT solver for bitvectors

Verification and validation repository for Hybrid central solvers and QGD

A small project for loading and verifying X.509 certificate chains against a local trust store using the OpenSSL library.