Alternatives and similar repositories for BME-MODES3:

Users that are interested in BME-MODES3 are comparing it to the libraries listed below

• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• ftsrg / gamma
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
  ☆31Updated this week
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆48Updated 6 months ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year
• markusvoelter / mpsintrocourse
  ☆44Updated last year
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated this week
• AToMPM / atompm
  A Tool for Multi-Paradigm Modeling
  ☆24Updated 7 months ago
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆229Updated this week
• geodes-sms / gentleman
  Gentleman is a lightweight web-based projectional editor that allows you to create and manipulate models.
  ☆17Updated 2 months ago
• gemoc / farmingmodeling
  DSLs for modeling and analyzing farming systems
  ☆11Updated 8 years ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆52Updated this 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
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆173Updated 4 months ago
• ths-rwth / carl
  ☆30Updated last week
• ths-rwth / smtrat
  ☆52Updated last week
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated 2 years ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆44Updated 6 months ago
• gemoc / gemoc-studio-old
  ☆12Updated 6 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆147Updated last week
• eclipse-gemoc / gemoc-studio
  gemoc-studio
  ☆27Updated 2 months ago
• pyecore / pyecoregen
  Python Model to Text framework for PyEcore, including the Ecore to Python generator
  ☆32Updated 4 years ago
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆133Updated last week
• ahartmanns / jani-models
  A library of formal models in the jani-model format.
  ☆12Updated 2 years ago
• lip6 / libDDD
  Library for Data Decision Diagrams and Set Decision Diagrams
  ☆14Updated 3 weeks ago
• Drona-Org / Drona
  Drona is a programming framework for building safe robotics systems
  ☆29Updated 3 years ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆23Updated 9 years ago
• potassco / clingcon
  ⛓️ Extension of clingo to handle constraints over integers
  ☆26Updated 3 months ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆33Updated this week