oris-tool / sirio
The Sirio library for the analysis of stochastic time Petri nets
☆12Updated 2 years ago
Related projects: ⓘ
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆23Updated 2 weeks ago
- An efficient graph solver for generating well-formed models☆26Updated 2 years ago
- Specification and Analysis for Requirements Tool☆20Updated 3 years ago
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆30Updated this week
- Python Bindings for the Probabilistic Model Checker Storm☆29Updated this week
- Model-based Demonstrator for Smart and Safe Systems☆16Updated 5 years ago
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆22Updated last year
- JKind - An infinite-state model checker for safety properties in Lustre☆52Updated last month
- Automated Analysis Framework for Simulink/Stateflow☆15Updated last year
- ☆51Updated 3 months ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated 7 months ago
- The main development version of the PRISM model checker.☆154Updated this week
- Base Variability Resolution (BVR) metamodel, engine and editors☆11Updated 6 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆21Updated 2 months ago
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆10Updated last month
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆47Updated this week
- HyPro: A C++ state set representation library for the analysis of hybrid systems☆29Updated last week
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated last year
- Main repository of the GreatSPN framework☆42Updated 4 months ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated 9 months ago
- Open Source AADL2 Tool Environment☆36Updated last month
- Intrepyd Model Checker☆17Updated 2 years ago
- This repository hosts all the projects used in the MDSE Book☆14Updated 5 years ago
- Uppaal Timed Automata Parser☆10Updated 4 months ago
- A toolkit for designing and implementing LTL-based task specifications.☆56Updated 7 years ago
- STPA Viewpoint for Capella☆16Updated 5 months ago
- MoonLight: a light-weight framework for runtime monitoring.☆13Updated 3 months ago
- Library for Data Decision Diagrams and Set Decision Diagrams☆12Updated 3 weeks ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated last year
- Specify and synthesize systems using symbolic algorithms☆45Updated 7 months ago