ftsrg / BME-MODES3Links
Model-based Demonstrator for Smart and Safe Systems
☆16Updated 5 years ago
Alternatives and similar repositories for BME-MODES3
Users that are interested in BME-MODES3 are comparing it to the libraries listed below
Sorting:
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- Open Source AADL2 Tool Environment☆44Updated this week
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- The mbeddr core. An extensible C☆230Updated this week
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆52Updated this week
- The ThingML modelling language☆105Updated 8 months ago
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆31Updated this week
- 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
- KTH's Timed C compiler☆19Updated 3 years ago
- ☆27Updated 4 years ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated this week
- ☆12Updated 6 years ago
- The Melange Language Workbench☆29Updated last year
- JKind - An infinite-state model checker for safety properties in Lustre☆54Updated 4 months ago
- Java bindings for LLVM libraries☆8Updated 3 years ago
- Static Analyzer and Verifier☆47Updated 7 months ago
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- ☆19Updated 2 years ago
- gemoc-studio☆27Updated 3 months ago
- ☆14Updated 3 years ago
- ☆33Updated 6 years ago
- SMTInterpol interpolating SMT solver☆66Updated 3 weeks ago
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆174Updated 5 months ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- With Getaviz you can solve software engineering problems visually by exploring software artifacts them in 2D, 3D, and virtual reality.☆51Updated 2 years ago
- Specification and Analysis for Requirements Tool☆10Updated 9 years ago
- This contains the examples for the book "Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edition"☆75Updated 5 years ago
- YAKINDU Statechart Tools (http://www.statecharts.org)☆181Updated 4 years ago
- This repository hosts all the projects used in the MDSE Book☆15Updated 5 years ago
- Xtext/Sirius Integration☆21Updated 5 months ago