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 week
• seahorn / verify-c-common
  ☆16Updated 10 months ago
• anmavrid / DesignBIP
  ☆11Updated 7 years ago
• formalmethods / intrepid
  Intrepyd Model Checker
  ☆18Updated 3 years ago
• pddenhar / Z3-IC3-PDR
  Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
  ☆15Updated 8 years ago
• UQ-PAC / BASIL
  ☆9Updated this week
• cvc5 / ethos
  A Flexible and Efficient Proof Checker for SMT Solvers
  ☆20Updated this week
• HaoxianChen / declarative-smart-contracts
  ☆13Updated 5 months ago
• lijwen2748 / simplecar
  ☆14Updated 2 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆66Updated last month
• ajwijs / GPUexplore
  GPU model checker
  ☆11Updated 5 years ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated 4 months ago
• jar-ben / mustool
  ☆15Updated last year
• GaloisInc / HARDENS
  Repository for the HARDENS project
  ☆22Updated 3 months ago
• TDacik / Deadlock_Racer
  Frama-C plugins for deadlock and data race detection
  ☆12Updated 3 months ago
• Sophietje / Verification-Tool-Overview
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆24Updated last year
• GaloisInc / LinearArbitrary-SeaHorn
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆21Updated 2 years ago
• joernio / joernti-codetidal5
  An integration of JoernTI's CodeTIDAL5 neural type inference model.
  ☆23Updated 2 months ago
• paradise-fi / divine
  DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…
  ☆21Updated 4 years ago
• contract-ace / smartace
  ☆15Updated 3 years ago
• eytans / easter-egg
  easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
  ☆11Updated this week
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆25Updated last week
• lijwen2748 / aaltaf
  SAT-based LTLf Satisfiability Checker
  ☆8Updated 2 years ago
• BanditFuzz / BanditFuzz_Public
  Public BanditFuzz Repo
  ☆12Updated 4 years ago
• ExpoSEJS / z3javascript
  A JavaScript wrapper for Z3 containing support for regular expressions & capture groups
  ☆22Updated 8 months ago
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆22Updated last year
• microsoft / z3guide
  Tutorials and courses for Z3
  ☆75Updated 2 weeks ago
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 4 years ago
• jyao15 / G-CLN
  ☆12Updated 2 years ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆49Updated 5 years ago