smt

Star

Here are 185 public repositories matching this topic...

trailofbits / manticore

Star

Symbolic execution tool

python testing security emulation ethereum blockchain symbolic-execution z3 binary-analysis program-analysis smt

Updated Nov 4, 2022
Python

FStarLang / FStar

Star

A Proof-oriented Programming Language

programming-language dependent-types ocaml theorem-proving verification f-sharp proof-assistant smt c-language fstar

Updated Nov 30, 2022
F*

ucsd-progsys / liquidhaskell

Star

Liquid Types For Haskell

haskell verification refinement-types smt

Updated Nov 29, 2022
Haskell

pysmt / pysmt

Star

pySMT: A library for SMT formulae manipulation and solving

python formula verification constraints satisfiability-modulo-theories python-3 smt

Updated Oct 28, 2022
Python

py2many / py2many

Star

Transpiler of Python to many other languages

kotlin python dart rust golang nim julia ast transpiler smt vlang

Updated Nov 7, 2022
Python

stp / stp

Star

Simple Theorem Prover, an efficient SMT solver for bitvectors

cryptography verification symbolic-execution cnf sat-solver smt

Updated Oct 18, 2022
C++

AliveToolkit / alive2

Star

Automatic verification of LLVM optimizations

llvm verification symbolic-execution model-checking smt llvm-ir translation-validation automatic-verification

Updated Nov 29, 2022
C++

smackers / smack

Star

SMACK Software Verifier and Verification Toolchain

c rust c-plus-plus llvm verification smt verifier verification-toolchain

Updated Jul 1, 2022
C

informalsystems / apalache

Star

APALACHE: symbolic model checker for TLA+

model-checking smt tla tlaplus

Updated Nov 29, 2022
Scala

epfl-lara / stainless

Star

Verification framework and tool for higher-order Scala programs

scala verification z3 formal-methods inox smt leon cvc4

Updated Nov 27, 2022
HTML

yaqwsx / jlcparts

Sponsor

Star

Better parametric search for components available for JLC PCB assembly

pcb smt jlcpcb jlc

Updated Nov 25, 2022
JavaScript

cleanunicorn / karl

Star

Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.

security ethereum blockchain symbolic-execution defcon smt defcon27

Updated Nov 23, 2022
Python

prove-rs / z3.rs

Star

Rust bindings for the Z3 solver.

rust rust-bindings logic-programming ffi-bindings smt smt-solver

Updated Sep 10, 2022
Rust

LeventErkok / sbv

Star

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

haskell verification smt

Updated Nov 4, 2022
Haskell

testsmt / yinyang

Star

A fuzzing framework for SMT solvers

testing fuzzing z3 smt smt-solver smt-lib cvc4

Updated Nov 28, 2022
Python

sosy-lab / java-smt

Star

JavaSMT - Unified Java API for SMT solvers.

java solver smt

Updated Nov 27, 2022
Java

celestiaorg / smt

Star

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

merkle-tree smt sparse-merkle-tree

Updated Nov 23, 2022
Go

philzook58 / z3_tutorial

Sponsor

Star

Jupyter notebooks for tutorial on the Z3 SMT solver

tutorial jupyter z3 formal-methods smt smt-solver

Updated Sep 13, 2022
Jupyter Notebook

TyGuS / suslik

Star

Synthesis of Heap-Manipulating Programs from Separation Logic

scala program-synthesis smt hoare-logic separation-logic deductive-reasoning

Updated Sep 8, 2022
Scala

sambayless / monosat

Star

MonoSAT - An SMT solver for Monotonic Theories

graph smt sat

Updated Jun 16, 2022
C++

Improve this page

Add a description, image, and links to the smt topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the smt topic, visit your repo's landing page and select "manage topics."

Learn more