Alternatives and similar repositories for fm-playground

Users that are interested in fm-playground are comparing it to the libraries listed below

• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆14Updated last month
• formalmethods / intrepid
  Intrepyd Model Checker
  ☆18Updated 3 years ago
• jar-ben / mustool
  ☆15Updated last year
• GaloisInc / LinearArbitrary-SeaHorn
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆21Updated 2 years ago
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆23Updated 2 years ago
• seahorn / verify-c-common
  ☆17Updated 11 months ago
• anmavrid / DesignBIP
  ☆11Updated 7 years ago
• UQ-PAC / BASIL
  ☆9Updated this week
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆29Updated 7 months ago
• StarGazerM / ppa-in-code
  some my implementation of content in PPA
  ☆18Updated 4 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆66Updated 2 months ago
• ajwijs / GPUexplore
  GPU model checker
  ☆11Updated 6 years ago
• NikolajBjorner / ShonanArtOfSAT
  Schedule for ArtOfSAT
  ☆10Updated last year
• HaoxianChen / declarative-smart-contracts
  ☆13Updated 7 months ago
• lijwen2748 / simplecar
  ☆15Updated 2 years ago
• mgudemann / iimc
  ☆12Updated 7 years ago
• eytans / easter-egg
  easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
  ☆11Updated last month
• grigoryfedyukovich / aeval
  AE-solver and Skolemizer
  ☆17Updated 5 months ago
• tpchina / tpchina.github.io
  ☆17Updated last month
• chc-comp / chc-tools
  Tools for manipulating CHC and related files
  ☆14Updated 2 years ago
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆39Updated 2 years ago
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆20Updated 2 weeks ago
• martinjonas / Q3B
  ☆28Updated last month
• cwi-swat / meta-environment
  The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…
  ☆16Updated 12 years ago
• LFrobeen / intellij-datalog
  ☆31Updated 3 years ago
• kth-step / HolBA
  Binary analysis in HOL
  ☆38Updated last month
• agurfinkel / spacer-on-jupyter
  ☆17Updated 2 years ago
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆13Updated 3 months ago
• Sophietje / Verification-Tool-Overview
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆26Updated last year
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 4 years ago