Repositories list

• efmc

  Public
  Software Model Checking via Exists-Forall Solving

  Slash

  •0•5•0•0•Updated Mar 11, 2025Mar 11, 2025

• pyomt

  Public
  A library for Optimization Modulo Theory (OMT) solving

  Python

  •0•5•0•0•Updated Mar 10, 2025Mar 10, 2025

• arlib

  Public
  Automated Reasoning Lib

  Python

  •2•8•0•0•Updated Mar 10, 2025Mar 10, 2025

• 2ls

  Public
  Static Analyzer and Verifier

  C++

  •

  Other

  •25•0•0•0•Updated Mar 3, 2025Mar 3, 2025

• smtfuzz

  Public
  A fuzzer for SMT solvers

  Python

  •

  GNU General Public License v3.0

  •3•19•0•0•Updated Jan 19, 2025Jan 19, 2025

• canary

  Public
  A unification-based alias analysis and related tools

  C++

  •

  GNU Affero General Public License v3.0

  •15•11•0•0•Updated Dec 3, 2024Dec 3, 2024

• z3alpha

  Public
  Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.

  Python

  •

  Apache License 2.0

  •4•1•0•0•Updated Oct 31, 2024Oct 31, 2024

• jkind

  Public
  JKind - An infinite-state model checker for safety properties in Lustre

  Java

  •

  Other

  •34•0•0•0•Updated Oct 23, 2024Oct 23, 2024

• SVF

  Public
  Static Value-Flow Analysis Framework for Source Code

  C++

  •

  Other

  •442•1•0•0•Updated Aug 27, 2024Aug 27, 2024

• libiberty

  Public
  C

  •0•0•0•0•Updated Aug 25, 2024Aug 25, 2024

• SMT

  Public
  Shell

  •0•0•0•0•Updated Aug 25, 2024Aug 25, 2024

• PythonStAn

  Public
  A static analysis framework for Python

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •1•0•0•0•Updated Mar 18, 2024Mar 18, 2024

• EasyBC

  Public
  Tool chains of EasyBC

  C

  •1•1•0•0•Updated Nov 15, 2023Nov 15, 2023

• MeGASampler

  Public
  SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints

  SMT

  •

  BSD 3-Clause "New" or "Revised" License

  •9•1•0•0•Updated Dec 20, 2022Dec 20, 2022