Alternatives and similar repositories for fm-playground

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

• formalmethods / intrepid
  Intrepyd Model Checker
  ☆18Updated 4 years ago
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆14Updated 3 months ago
• NeVerTools / pyNeVer
  A Python library for learning and verification of neural networks and other machine learning models
  ☆14Updated 4 months ago
• anmavrid / DesignBIP
  ☆11Updated 8 years ago
• GaloisInc / LinearArbitrary-SeaHorn
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆22Updated 2 years 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
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆69Updated last year
• lijwen2748 / simplecar
  ☆15Updated 3 years ago
• coco-team / zustre
  A model checker and assume/guarantee contract generator for Lustre programs.
  ☆17Updated 7 years ago
• realChrisHahn2 / nl2spec
  nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
  ☆50Updated last year
• prismmodelchecker / prism-benchmarks
  The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…
  ☆11Updated 10 months ago
• jar-ben / mustool
  ☆14Updated 2 years ago
• HaoxianChen / declarative-smart-contracts
  ☆15Updated 3 weeks ago
• joernio / joernti-codetidal5
  An integration of JoernTI's CodeTIDAL5 neural type inference model.
  ☆28Updated 11 months ago
• UQ-PAC / BASIL
  The Basil pipeline for concurrent information flow analysis in AArch64 binaries.
  ☆17Updated last week
• mgudemann / iimc
  ☆14Updated 8 years ago
• meyerphi / strix
  Strix is a tool for reactive synthesis of controllers from LTL specifications.
  ☆23Updated 3 years ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆55Updated 6 months ago
• Sophietje / Verification-Tool-Overview
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆32Updated 2 years ago
• contract-ace / smartace
  ☆17Updated 4 years ago
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Updated 8 months ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆25Updated 2 years ago
• dynaroars / dig
  DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…
  ☆56Updated 7 months ago
• fslivovsky / qute
  Qute: a dependency learning QBF solver.
  ☆14Updated last month
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆42Updated 2 years ago
• seahorn / verify-c-common
  ☆20Updated last year
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆29Updated 8 months ago
• fuqi-jia / BLAN
  Bit-bLAsting solving Non-linear integer constraints.
  ☆22Updated 6 months ago
• pddenhar / Z3-IC3-PDR
  Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
  ☆18Updated 9 years ago
• Formal-Systems-Laboratory / ROSRV
  ☆15Updated 4 years ago