smt 开源项目推荐（473 个）

trailofbits /manticore

Symbolic execution tool

FStarLang /FStar

A Proof-oriented Programming Language

py2many /py2many

Transpiler of Python to many other languages

ucsd-progsys /liquidhaskell

Liquid Types For Haskell

AliveToolkit /alive2

Automatic verification of LLVM optimizations

yaqwsx /jlcparts

Better parametric search for components available for JLC PCB assembly

pysmt /pysmt

pySMT: A library for SMT formulae manipulation and solving

apalache-mc /apalache

APALACHE：TLA+ 和 Quint 的符号模型检查器

stp /stp

Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.

prove-rs /z3.rs

Rust bindings for the Z3 solver.

smackers /smack

SMACK Software Verifier and Verification Toolchain

epfl-lara /stainless

Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless

verse-lab /veil

A verifier for automated and interactive proofs about transition systems.

0xOsiris /Mev_Book

An aggregate of MEV resources, libraries, research papers, and strategies.

cleanunicorn /karl

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

ufmg-smite /lean-smt

Tactics for discharging Lean goals into SMT solvers.

LeventErkok /sbv

Haskell 中的基于 SMT 的验证。表达Haskell程序的属性，并用SMT求解器自动证明它们。

sosy-lab /java-smt

JavaSMT - Unified Java API for SMT solvers.

testsmt /yinyang

SMT求解器的模糊框架

peltonapp /Pelton

一款围绕你的隐私构建的开源电子邮件客户端，跨平台、零遥测，完全属于你。