anmavrid / DesignBIP

Related projects ⓘ

Alternatives and complementary repositories for DesignBIP

• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆86Updated this week
• StarExec / StarExec
  StarExec is a cross community logic solving service
  ☆17Updated 5 months ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆53Updated 3 weeks ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated last month
• steynvl / inferrer
  An automata learning library written in Python.
  ☆49Updated 4 years ago
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆64Updated 2 months ago
• SRI-CSL / sally
  A model checker for infinite-state systems.
  ☆69Updated 3 years ago
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆31Updated 6 months ago
• grigoryfedyukovich / aeval
  AE-solver and Skolemizer
  ☆17Updated last year
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆22Updated 4 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆46Updated 3 weeks ago
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆26Updated 2 weeks ago
• Shufang-Zhu / Syft
  Synthesizer of LTLf formula
  ☆9Updated last year
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆61Updated 4 months ago
• sampsyo / minisynth
  program synthesis is possible
  ☆39Updated 5 years ago
• fadoss / maude-bindings
  Language bindings for Maude
  ☆19Updated 7 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…
  ☆20Updated 3 years ago
• formalmethods / intrepid
  Intrepyd Model Checker
  ☆17Updated 3 years ago
• whitemech / lydia
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Updated last year
• p-org / peasy-ide-vscode
  Peasy: An Intuitive Development Environment for P
  ☆13Updated 2 months ago
• hhu-stups / specifications
  A collection of (public) specifications in different formalisms.
  ☆15Updated 8 months ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆15Updated 2 weeks ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆52Updated 3 weeks ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆137Updated this week
• contract-ace / smartace
  ☆14Updated 2 years ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆78Updated this week
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆113Updated 5 months ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆28Updated 4 months ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆13Updated 2 years ago
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆18Updated last week