Alternatives and similar repositories for rainbow:

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

• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆53Updated 3 months ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆169Updated last month
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• sguazt / RUBiS
  Implementation of the Rice University Bidding System (RUBiS)
  ☆16Updated 9 years ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆95Updated last month
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆33Updated this week
• se-sic / SPLConqueror
  SPL Conqueror is a library to learn the influence of configuration options of configurable software systems on non-functional properties.
  ☆24Updated 10 months ago
• sosy-lab / llvm-j
  Java bindings for LLVM libraries
  ☆8Updated 3 years ago
• prismmodelchecker / prism-benchmarks
  The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…
  ☆11Updated last month
• cmu-rss-lab / rosdiscover
  ☆17Updated last year
• CST-Group / cst
  CST is the Cognitive Systems Toolkit, a toolkit for the construction of Cognitive Systems and Cognitive Architectures
  ☆33Updated last month
• stephenfreund / RoadRunner
  ☆71Updated 7 years ago
• oris-tool / sirio
  The Sirio library for the analysis of stochastic time Petri nets
  ☆14Updated 2 months ago
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆180Updated 2 weeks ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• whitemech / flloat
  From LTLf/LDLf To Automata
  ☆22Updated 4 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆48Updated 5 months ago
• pellierd / pddl4j
  PDDL4J is an open source library under LGPL license whose purpose of PDDL4J is to facilitate the development of JAVA tools for Automated …
  ☆151Updated 7 months ago
• prismmodelchecker / prism-games
  The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
  ☆24Updated 3 weeks ago
• gliga / ekstazi
  Software testing optimization tool
  ☆28Updated last year
• natasha-jeppu / Trace2Model
  Learning Concise Models from Long Execution Traces
  ☆12Updated 2 years ago
• ssanner / rddlsim
  Automatically exported from code.google.com/p/rddlsim
  ☆52Updated last year
• Kurorororo / numeric-fast-downward
  ☆14Updated last year
• ZikangXiong / VRL_CodeReview
  [PLDI 19'] An Inductive Synthesis Framework for Verifiable Reinforcement Learning
  ☆13Updated 5 years ago
• STAMP-project / dspot
  Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)
  ☆117Updated 8 months ago
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆215Updated last month
• decyphir / breach
  ☆56Updated 10 months ago
• benchflow / benchflow
  An open-source expert system for automated end-to-end objective-driven performance testing and performance insights.
  ☆27Updated last month
• robust-rosin / robust
  A dataset of 200+ bugs in the Robot Operating System for BugZoo
  ☆35Updated last year