UPPAALModelChecker / utap
Uppaal Timed Automata Parser
☆10Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for utap
- OpenFTA☆10Updated 11 years ago
- The Sirio library for the analysis of stochastic time Petri nets☆12Updated 2 years ago
- Demonstration of how to use ASCET-DEVELOPER in a CI/CD pipeline.☆11Updated last month
- Repository of teaching material for product lines and variability☆12Updated last year
- STPA Viewpoint for Capella☆18Updated last month
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆23Updated this week
- This add-on allows importing a set of requirements from a ReqIF file☆19Updated 2 months ago
- Robot navigation algorithms implemented in SPARK☆11Updated 10 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…☆17Updated last week
- GUI for running the SPIN model checker☆15Updated 2 years ago
- NASA Cleaned Defect Datasets☆56Updated 8 years ago
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆22Updated last year
- Model Driven Engineering for C++ (MDE4CPP)☆12Updated last month
- Examples and case-study that use OSATE☆56Updated 3 years ago
- YAKINDU Statechart Tools examples☆21Updated last week
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆30Updated this week
- Convert LTL formulas into finite-state automata for monitoring☆9Updated 6 years ago
- ASCET-DEVELOPER Community Discussions☆26Updated 3 months ago
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆101Updated last year
- Visualization for Dynamic Fault Trees☆14Updated 3 years ago
- Create minimum MCDC test sets for a boolean expression☆36Updated 3 years ago
- C++ FMUs☆15Updated 2 years ago
- A Tool for Multi-Paradigm Modeling☆23Updated 2 months ago
- Applications, testing, demos and other models in xtUML form.☆17Updated 6 months ago
- ATL and Acceleo based transformation from SysML to Modelica☆20Updated 7 years ago
- SysML v2 explorations with Jupyter☆19Updated 3 months ago
- Custom, Open-Source firmware for the Brewie B20+ (and maybe B20)☆11Updated last year
- GitHub Action to set up Zephyr build environment☆11Updated last week
- This contains the examples for the book "Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edition"☆71Updated 4 years ago
- Simple examples about how to use MATIEC compiler for IEC 61131-3☆31Updated 5 years ago