UPPAALModelChecker / utap
Uppaal Timed Automata Parser
☆10Updated 11 months ago
Alternatives and similar repositories for utap:
Users that are interested in utap are comparing it to the libraries listed below
- Demonstration of how to use ASCET-DEVELOPER in a CI/CD pipeline.☆11Updated 3 months ago
- OpenFTA☆11Updated 11 years ago
- The Sirio library for the analysis of stochastic time Petri nets☆13Updated last month
- Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book☆12Updated 7 years ago
- Convert LTL formulas into finite-state automata for monitoring☆9Updated 6 years ago
- Compositional Performance Analysis in Python☆18Updated 4 years ago
- Visualization for Dynamic Fault Trees☆14Updated 3 years ago
- The FP-SNS-DATALOG2 function pack represents an evolution of FP-SNS-DATALOG1 and provides a comprehensive solution for saving data from a…☆18Updated last month
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆22Updated 2 years ago
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- Arxml Editor, using Eclipse XML Editor☆9Updated 6 years ago
- Model Driven Engineering for C++ (MDE4CPP)☆12Updated 6 months ago
- This contains the examples for the book "Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edition"☆74Updated 5 years ago
- Writing startup script for STM32 Arm Cortex M3 controllers in C language☆10Updated 2 years ago
- Eclipse Modeling Framework for C++☆46Updated 4 years ago
- This add-on allows importing a set of requirements from a ReqIF file☆20Updated last week
- C++ FMUs☆16Updated 2 years ago
- Library of AADL models☆44Updated 5 months ago
- NASA Cleaned Defect Datasets☆61Updated 8 years ago
- Open Source AADL2 Tool Environment☆44Updated 5 months ago
- A Tool for Multi-Paradigm Modeling☆24Updated 6 months ago
- Source code for 'Models to Code' by Leon Starr, Andrew Mangogna, and Stephen Mellor☆17Updated 7 years ago
- GUI for running the SPIN model checker☆17Updated 2 years ago
- SysML v2 explorations with Jupyter☆24Updated 7 months ago
- An example Xtext DSL in Theia with Sprotty visualisation☆73Updated 5 years ago
- The repository for TORSCHE Scheduling Toolbox for Matlab☆17Updated 8 years ago
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Updated 5 years ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆41Updated 7 months ago
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆105Updated last year
- A fast vector/matrix library☆10Updated 3 weeks ago