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.
  ☆27Updated last week
• CinCoders / cs-deadlines
  CS Deadlines - Top CS Conferences deadlines
  ☆11Updated 6 months ago
• quasylab / sibilla
  A tool for forecasting behaviour of Collective Adaptive Systems.
  ☆8Updated 3 months ago
• runtimeverification / rv-monitor
  RV-Monitor core system code
  ☆16Updated 4 years ago
• FAMILIAR-project / teaching
  Repository of teaching material for product lines and variability
  ☆12Updated last year
• nondeterministic / ltl3tools
  Convert LTL formulas into finite-state automata for monitoring
  ☆9Updated 6 years ago
• lgwagner / SpeAR
  Specification and Analysis for Requirements Tool
  ☆20Updated 4 years ago
• ftsrg / gamma
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
  ☆31Updated this week
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• SINTEF-9012 / bvr
  Base Variability Resolution (BVR) metamodel, engine and editors
  ☆11Updated 6 years 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
• Formal-Systems-Laboratory / ROSRV
  ☆15Updated 4 years ago
• meyerphi / strix
  Strix is a tool for reactive synthesis of controllers from LTL specifications.
  ☆22Updated 2 years ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆54Updated this week
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆70Updated 3 years ago
• UPPAALModelChecker / utap
  Uppaal Timed Automata Parser
  ☆11Updated last month
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆35Updated this week
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆100Updated this week
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated 2 years ago
• hbourbouh / lm_challenges
  Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers
  ☆12Updated 5 years ago
• smaccm / smaccm
  ☆33Updated 6 years ago
• NeVerTools / pyNeVer
  A Python library for learning and verification of neural networks and other machine learning models
  ☆11Updated this week
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆32Updated last year
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• OpenAADL / Crazyflie
  AADL models for the Crazyflie UAV -- OMSCS Class CS7639
  ☆11Updated 5 years ago
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆36Updated last year
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated 2 weeks ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago