oris-tool / sirio
The Sirio library for the analysis of stochastic time Petri nets
☆12Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for sirio
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆23Updated this week
- An efficient graph solver for generating well-formed models☆26Updated 2 years ago
- Convert LTL formulas into finite-state automata for monitoring☆9Updated 6 years ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆49Updated this week
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆30Updated this week
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆22Updated last year
- A multi-formalism, multi-solution model-checker centered on the language GAL☆22Updated 4 months ago
- RV-Monitor core system code☆16Updated 3 years ago
- Demonstration of how to use ASCET-DEVELOPER in a CI/CD pipeline.☆11Updated last month
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 3 years ago
- XCSP3 Tools in Java☆21Updated this week
- ☆53Updated 5 months ago
- Base Variability Resolution (BVR) metamodel, engine and editors☆11Updated 6 years ago
- Python Bindings for the Probabilistic Model Checker Storm☆30Updated this week
- Examples and case-study that use OSATE☆56Updated 3 years ago
- Model Driven Engineering for C++ (MDE4CPP)☆11Updated last month
- ☆16Updated 11 months ago
- A Python model checking package☆64Updated 2 months ago
- JaTyC: a typestate checker for Java☆15Updated last week
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated 9 months ago
- This repository hosts all the projects used in the MDSE Book☆15Updated 5 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆52Updated 3 weeks ago
- The main development version of the PRISM model checker.☆156Updated last month
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆167Updated 3 months ago
- Specify and synthesize systems using symbolic algorithms☆46Updated 3 weeks ago
- The Chuffed CP solver☆92Updated this week
- Feature-Oriented and Distributed Version Control System☆15Updated this week
- Library for Data Decision Diagrams and Set Decision Diagrams☆13Updated 2 months ago
- Open Source AADL2 Tool Environment☆40Updated last month
- ☆12Updated 6 years ago