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
  ☆11Updated 7 months ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated this week
• FAMILIAR-project / teaching
  Repository of teaching material for product lines and variability
  ☆12Updated last year
• ftsrg / gamma
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
  ☆31Updated last week
• decyphir / breach
  ☆61Updated last year
• quasylab / sibilla
  A tool for forecasting behaviour of Collective Adaptive Systems.
  ☆8Updated 4 months ago
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆109Updated last year
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆52Updated this week
• sarahtattersall / PIPE
  PIPE - Platform Independent Petri Net Editor
  ☆239Updated 3 years ago
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆171Updated 3 weeks ago
• doganulus / reelay
  A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
  ☆35Updated 2 weeks ago
• osate / examples
  Examples and case-study that use OSATE
  ☆57Updated 3 months ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆46Updated this week
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated 2 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆149Updated 3 weeks ago
• sireum / kekinian
  Sireum: A High Assurance System Engineering Platform
  ☆12Updated this week
• nondeterministic / ltl3tools
  Convert LTL formulas into finite-state automata for monitoring
  ☆9Updated 6 years ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆99Updated last week
• MDEGroup / MDEForge
  MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…
  ☆23Updated 2 years ago
• edwardxu0 / GDVB
  GDVB| Systematic Generation of Diverse Benchmarks for DNN Verification
  ☆9Updated last year
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆177Updated 7 months ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆54Updated 3 weeks ago
• juli1 / aadl-book
  Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book
  ☆13Updated 8 years ago
• UPPAALModelChecker / utap
  Uppaal Timed Automata Parser
  ☆11Updated 3 weeks ago
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆66Updated 10 months ago
• johnyf / tool_lists
  Links to tools by subject
  ☆379Updated last year
• luyangshang / OpenFTA
  OpenFTA
  ☆12Updated 12 years ago
• runtimeverification / rv-monitor
  RV-Monitor core system code
  ☆16Updated 4 years ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated 3 weeks ago