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 2 years ago
• rosmod / webgme-rosmod
  This repository contains ROSMOD developed for WebGME. ROSMOD is a web-based, collaborative, modeling and execution environment for distri…
  ☆15Updated last week
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆24Updated last week
• ftsrg / gamma
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
  ☆31Updated this week
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated last year
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆34Updated last year
• 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
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆228Updated this week
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆170Updated 2 months ago
• imandra-ai / imandra-ros
  Imandra ROS
  ☆17Updated 3 years ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆52Updated this week
• pyecore / pyecoregen
  Python Model to Text framework for PyEcore, including the Ecore to Python generator
  ☆31Updated 3 years ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆43Updated 4 months ago
• markusvoelter / mpsintrocourse
  ☆44Updated last year
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 2 years ago
• geodes-sms / gentleman
  Gentleman is a lightweight web-based projectional editor that allows you to create and manipulate models.
  ☆17Updated last week
• AToMPM / atompm
  A Tool for Multi-Paradigm Modeling
  ☆23Updated 5 months ago
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆83Updated this week
• ModelDriven / fUML-Reference-Implementation
  Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.
  ☆63Updated last year
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆17Updated last month
• osate / examples
  Examples and case-study that use OSATE
  ☆56Updated 4 years ago
• wholeplatform / whole
  Whole Platform Language Workbench
  ☆27Updated 9 months ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year
• timed-c / ktc
  KTH's Timed C compiler
  ☆19Updated 3 years ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆23Updated last week
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆23Updated 8 years ago
• webgme / sysml
  Systems Engineering Modeling Language (SysML) domain
  ☆23Updated 7 years ago
• ths-rwth / smtrat
  ☆52Updated last week