Alternatives and similar repositories for DesignBIP:

Users that are interested in DesignBIP are comparing it to the libraries listed below

• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 5 months ago
• ExpoSEJS / z3javascript
  A JavaScript wrapper for Z3 containing support for regular expressions & capture groups
  ☆22Updated 8 months ago
• SteKoe / ocl.js
  The Object Constraint Language (OCL) is a language for describing rules that apply to MOF conform modelling languages like UML. The OCL i…
  ☆56Updated this week
• vardigroup / lisa
  Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…
  ☆12Updated 3 years ago
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆92Updated this week
• cyrille-artho / modbat
  Modbat is a model-based API tester for stateful systems.
  ☆23Updated last year
• grigoryfedyukovich / aeval
  AE-solver and Skolemizer
  ☆16Updated 3 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆45Updated 4 months ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆34Updated 3 weeks ago
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆24Updated last week
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆76Updated 2 months ago
• EngineeringSoftware / mcoq
  Mutation analysis tool for Coq verification projects
  ☆30Updated 4 years ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 3 years ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆63Updated last month
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆31Updated 10 months ago
• se-buw / fm-playground
  A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
  ☆11Updated last month
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆53Updated 2 months ago
• SRI-CSL / sally
  A model checker for infinite-state systems.
  ☆74Updated 3 months ago
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆65Updated 6 months ago
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆25Updated this week
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆23Updated last month
• bpowers / liquid-types
  Logically Qualified Data Types - automatically infer refinement types
  ☆15Updated 3 years ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆35Updated last year
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 4 months ago
• sosy-lab / sv-witnesses
  An Exchange Format for Verification Witnesses (MOVED, please follow the link)
  ☆18Updated 2 years ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 3 years ago
• LionWeb-io / lionweb-typescript
  Implements (select parts of) the LionWeb specification, and tooling around that - all in TypeScript.
  ☆11Updated last month
• reactive-systems / syfco
  Synthesis Format Conversion Tool
  ☆24Updated 7 months ago