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.
  ☆12Updated last week
• jar-ben / mustool
  ☆15Updated last year
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆20Updated last year
• lijwen2748 / simplecar
  ☆14Updated 2 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆24Updated 2 years ago
• lijwen2748 / aaltaf
  SAT-based LTLf Satisfiability Checker
  ☆8Updated 2 years ago
• pddenhar / Z3-IC3-PDR
  Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
  ☆15Updated 8 years ago
• thufv / Deagle
  ☆17Updated 2 months ago
• mgudemann / iimc
  ☆11Updated 7 years ago
• RafaelTupynamba / quicksampler
  Efficient Sampling of SAT Solutions for Testing
  ☆34Updated 5 years ago
• cvc5 / ethos
  A Flexible and Efficient Proof Checker for SMT Solvers
  ☆18Updated this week
• formalmethods / intrepid
  Intrepyd Model Checker
  ☆18Updated 3 years ago
• agurfinkel / minisat
  A minimalistic and high-performance SAT solver
  ☆22Updated 10 months ago
• GaloisInc / LinearArbitrary-SeaHorn
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆21Updated last year
• choukh / MetaZF
  Coq集合模型论
  ☆11Updated 2 years ago
• ssvlab / esbmc-gpu
  ESBMC-GPU is a context-bounded model checker based on the satisfiability modulo theories (SMT) to check for data race, deadlock, pointer …
  ☆8Updated 7 years ago
• Sophietje / Verification-Tool-Overview
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆23Updated last year
• eth-sri / proof-sharing
  CAV'22 paper to speed up Neural Network Verification.
  ☆14Updated 2 years ago
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Updated 8 months ago
• dynaroars / dig
  DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…
  ☆39Updated 4 months ago
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆35Updated this week
• guolong-zheng / sling
  ☆19Updated last year
• agurfinkel / spacer-on-jupyter
  ☆16Updated last year
• jyao15 / G-CLN
  ☆12Updated 2 years ago
• ajwijs / GPUexplore
  GPU model checker
  ☆11Updated 5 years ago
• jia-kai / eevbnn
  Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
  ☆13Updated 2 years ago
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆23Updated last month
• CoriolisSP / FuzzBtor2
  Random Generator of Btor2 Files
  ☆9Updated last year
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated 2 months ago
• BanditFuzz / BanditFuzz_Public
  Public BanditFuzz Repo
  ☆12Updated 4 years ago