Alternatives and similar repositories for sirio:

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

• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆23Updated this week
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆26Updated 2 years ago
• quasylab / sibilla
  A tool for forecasting behaviour of Collective Adaptive Systems.
  ☆7Updated 3 months ago
• nondeterministic / ltl3tools
  Convert LTL formulas into finite-state automata for monitoring
  ☆9Updated 6 years ago
• osate / examples
  Examples and case-study that use OSATE
  ☆56Updated 3 years ago
• ftsrg / gamma
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
  ☆30Updated this week
• decyphir / breach
  ☆54Updated 7 months ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆51Updated last month
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 3 years ago
• runtimeverification / rv-monitor
  RV-Monitor core system code
  ☆16Updated 3 years ago
• FAMILIAR-project / teaching
  Repository of teaching material for product lines and variability
  ☆12Updated last year
• Formal-Systems-Laboratory / ROSRV
  ☆14Updated 3 years ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆53Updated last week
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆101Updated last year
• doganulus / reelay
  A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
  ☆33Updated 9 months ago
• MDEGroup / MDEForge
  MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…
  ☆22Updated 2 years ago
• coco-team / cocoSim2
  Automated Analysis Framework for Simulink/Stateflow
  ☆15Updated last year
• lgwagner / SpeAR
  Specification and Analysis for Requirements Tool
  ☆20Updated 3 years ago
• VerifiableRobotics / LTLMoP
  A toolkit for designing and implementing LTL-based task specifications.
  ☆56Updated 8 years ago
• se-sic / SPLConqueror
  SPL Conqueror is a library to learn the influence of configuration options of configurable software systems on non-functional properties.
  ☆23Updated 7 months ago
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated last year
• martin-fleck / momot
  Marrying Search-based Optimization and Model Transformation Technology
  ☆17Updated 5 years ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 2 years ago
• SINTEF-9012 / bvr
  Base Variability Resolution (BVR) metamodel, engine and editors
  ☆11Updated 6 years ago
• jahierwan / lustre-examples
  Some Lustre program examples
  ☆21Updated 5 years ago
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆42Updated 8 months ago
• gemoc / gemoc-studio-old
  ☆12Updated 6 years ago
• AToMPM / atompm
  A Tool for Multi-Paradigm Modeling
  ☆24Updated 4 months ago
• eclipse / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆32Updated last year
• imandra-ai / imandra-ros
  Imandra ROS
  ☆17Updated 2 years ago