Alternatives and similar repositories for gemoc-studio-old:

Users that are interested in gemoc-studio-old are comparing it to the libraries listed below

• eclipse-gemoc / gemoc-studio
  gemoc-studio
  ☆27Updated 2 months ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆37Updated last week
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• VERIMAG-Polyhedra / VPL
  Verimag Polyhedra Library
  ☆18Updated 3 weeks ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆35Updated last year
• fadoss / maude-bindings
  Language bindings for Maude
  ☆23Updated 4 months ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 6 months ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆66Updated 3 weeks ago
• gemoc / farmingmodeling
  DSLs for modeling and analyzing farming systems
  ☆11Updated 8 years ago
• lip6 / libDDD
  Library for Data Decision Diagrams and Set Decision Diagrams
  ☆14Updated 3 weeks ago
• fadoss / umaudemc
  Unified Maude model-checking tool
  ☆11Updated 4 months ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆24Updated last week
• eisop / checker-framework
  Pluggable type-checking for Java
  ☆21Updated this week
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆43Updated last year
• MichaelRawson / tptp
  Crate for reading TPTP files.
  ☆14Updated 2 years ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆68Updated last month
• meyerphi / strix
  Strix is a tool for reactive synthesis of controllers from LTL specifications.
  ☆22Updated 2 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆46Updated this week
• grigoryfedyukovich / aeval
  AE-solver and Skolemizer
  ☆17Updated 4 months ago
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆25Updated last week
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆32Updated last year
• SSoelvsten / adiar
  An I/O-efficient implementation of (Binary) Decision Diagrams
  ☆27Updated last month
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆27Updated last month
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆34Updated 2 months ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆29Updated 7 months ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆60Updated 2 months ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 4 years ago