188 Open source projects that are alternatives of or similar to Sat_smt_by_example

Liquid Types For Haskell

pySMT: A library for SMT formulae manipulation and solving

Verification framework and tool for higher-order Scala programs

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Simple Theorem Prover, an efficient SMT solver for bitvectors

A Proof-oriented Programming Language

Automatic verification of LLVM optimizations

SMACK Software Verifier and Verification Toolchain

VHDL-2008 Support Library

Safety Verification of Deep Neural Networks

contrib/amcheck from Postgres v11 backported to earlier Postgres versions

简单的滑动验证码JS插件 图片验证码

Static verification tool for DNS zone files

Self hosted identity verification layer with GraphQL.

Package verifier provides simple defensive programing primitives.

TLA+ language support for Visual Studio Code

The Eldarica model checker

PCIe (1.0a to 2.0) Virtual host model for verilog

Neural Network Verification Software Tool

RISC-V CPU Core (RV32IM)

The VerCors verification toolset for verifying parallel and concurrent software

A Modeling and Verification Platform for SoCs using ILAs

An NPM package to generate captcha images that can be used in Discord bots or various other projects

A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)

Steam integration for TeamSpeak 3

Simple integration between FastAPI and cloud authentication services (AWS Cognito, Auth0, Firebase Authentication).

Fingerprint is a simple tool that can be used to verify the contents of a directory.

Definition of the Viper intermediate verification language.

Ruby interface to IEEE 1364-2005 Verilog VPI

SeaHorn Verification Framework

Provides email verification on the go.

React Native wrapper for Android's SMS User Consent API, ready to use in React Native apps with minimum effort.

Fully customizable UI Component for verification codes written in swift with RxSwift support!

KreMLin is a tool for extracting low-level F* programs to readable C code

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.

An advanced automatic speedrun load time remover for community verifiers.

A Go library that implements a Sparse Merkle tree for a key-value map.

Jupyter notebooks for tutorial on the Z3 SMT solver

Static checker for Java

Development of the CafeOBJ interpreter

A static verifier for Rust, based on the Viper verification infrastructure.

Verify code input. You can create a verify code input.

Kryptonite for Kafka is a client-side 🔒 field level 🔓 crypto library for Apache Kafka® currently focused on Kafka Connect scenarios. It's an ! UNOFFICIAL ! community project

Home of the Move programming language

Awesome ASIC design verification

Information to reproduce results from SV-COMP (MOVED, please follow the link)

"Very simple but works well" Computer Vision based ID verification solution provided by LibraX.

The PHP SDK for interacting with the Yoti Platform

Synthesis of Heap-Manipulating Programs from Separation Logic

Concuerror is a stateless model checking tool for Erlang programs.

File systems verification utility and library, in likeness of mtree(8)

A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.

Fully verified model checker for realtime systems

[Deprecated] Typescript-version of the IN3 client.

Kani Rust Verifier

Haskell bindings to Microsoft's Z3 API (unofficial).

Verified, concurrent, crash-safe transaction system

This package provides convenient methods to integrate the NeverBounce API into your project.

A Framework for Deep Neural Network Verification