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
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆44Updated 5 months ago
• AToMPM / atompm
  A Tool for Multi-Paradigm Modeling
  ☆23Updated 6 months ago
• 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 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…
  ☆16Updated last month
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆52Updated this week
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆171Updated 3 months ago
• catedrasaes-umu / emf4cpp
  Eclipse Modeling Framework for C++
  ☆46Updated 3 years ago
• timed-c / ktc
  KTH's Timed C compiler
  ☆19Updated 3 years ago
• robust-rosin / robust
  A dataset of 200+ bugs in the Robot Operating System for BugZoo
  ☆35Updated last year
• TelluIoT / ThingML
  The ThingML modelling language
  ☆104Updated 6 months ago
• ModelDriven / fUML-Reference-Implementation
  Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.
  ☆63Updated 2 years ago
• dslmeinte / polyglot-emf
  Proposal(s) to make EMF polyglot.
  ☆11Updated 4 years ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• osate / examples
  Examples and case-study that use OSATE
  ☆56Updated 4 years ago
• tyler-utah / PBL
  A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…
  ☆9Updated 9 years ago
• balasub / ai-seminar
  ☆9Updated 4 years ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆25Updated this week
• pyecore / pyecoregen
  Python Model to Text framework for PyEcore, including the Ecore to Python generator
  ☆31Updated 3 years ago
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆228Updated this week
• 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…
  ☆57Updated this week
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆23Updated 9 years ago
• Drona-Org / Drona
  Drona is a programming framework for building safe robotics systems
  ☆29Updated 2 years ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆53Updated 2 months ago
• johnyf / tool_lists
  Links to tools by subject
  ☆375Updated last year
• BESSER-PEARL / B-OCL-Interpreter
  B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation that ut…
  ☆19Updated 3 months ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆24Updated last month
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• smtlib / jSMTLIB
  jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…
  ☆26Updated 2 years ago