Alternatives and similar repositories for sirio

Users that are interested in sirio are comparing it to the libraries listed below

• CinCoders / cs-deadlines
  CS Deadlines - Top CS Conferences deadlines
  ☆12Updated last week
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated this week
• ftsrg / gamma
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
  ☆33Updated last week
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆48Updated last month
• runtimeverification / rv-monitor
  RV-Monitor core system code
  ☆16Updated 4 years ago
• DLR-FT / ModelBasedSTPA
  ☆11Updated 2 months ago
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆183Updated 11 months ago
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆120Updated 2 months ago
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• FAMILIAR-project / teaching
  Repository of teaching material for product lines and variability
  ☆12Updated 2 years ago
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated 2 years ago
• UPPAALModelChecker / utap
  Uppaal Timed Automata Parser
  ☆13Updated last month
• AToMPM / atompm
  A Tool for Multi-Paradigm Modeling
  ☆25Updated last year
• SINTEF-9012 / bvr
  Base Variability Resolution (BVR) metamodel, engine and editors
  ☆11Updated 7 years ago
• osate / examples
  Examples and case-study that use OSATE
  ☆56Updated 7 months ago
• catedrasaes-umu / emf4cpp
  Eclipse Modeling Framework for C++
  ☆45Updated 4 years ago
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆66Updated last year
• OpenAADL / AADLib
  Library of AADL models
  ☆45Updated last year
• doganulus / reelay
  A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
  ☆41Updated 3 weeks ago
• open-simulation-platform / cpp-fmus
  C++ FMUs
  ☆16Updated 3 years ago
• motib / jspin
  GUI for running the SPIN model checker
  ☆20Updated 3 years ago
• ge-high-assurance / VERDICT
  DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…
  ☆45Updated last year
• LorenzoBettini / packtpub-xtext-book-2nd-examples
  This contains the examples for the book "Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edition"
  ☆74Updated 5 years ago
• juli1 / aadl-book
  Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book
  ☆13Updated 8 years ago
• sarnold / cccc
  Source code counter and metrics tool for C++, C, and Java
  ☆69Updated 2 years ago
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆72Updated 3 years ago
• MDE4CPP / MDE4CPP
  Model Driven Engineering for C++ (MDE4CPP)
  ☆13Updated 2 weeks ago
• sireum / kekinian
  Sireum: A High Assurance System Engineering Platform
  ☆17Updated last week
• decyphir / breach
  ☆61Updated last year
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆178Updated 3 weeks ago