Alternatives and similar repositories for rainbow

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

• cps-sei / swim
  SWIM - A Simulator of Web Infrastructure and Management
  ☆17Updated 3 years ago
• mvcisback / py-metric-temporal-logic
  Python library for working with Metric Temporal Logic (MTL)
  ☆100Updated 2 years 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 …
  ☆156Updated 9 months ago
• souradeep-111 / sherlock
  Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.
  ☆29Updated 5 years ago
• VerifiableRobotics / LTLMoP
  A toolkit for designing and implementing LTL-based task specifications.
  ☆55Updated 8 years ago
• tulip-control / tulip-control
  Temporal Logic Planning toolbox
  ☆120Updated 2 months ago
• Formal-Systems-Laboratory / ROSRV
  ☆15Updated 4 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.
  ☆24Updated last year
• JmfanBU / ReachNNStar
  Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)
  ☆17Updated 2 years ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆95Updated 2 weeks ago
• ssanner / rddlsim
  Automatically exported from code.google.com/p/rddlsim
  ☆54Updated last year
• stanleybak / hylaa
  Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
  ☆28Updated 2 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆149Updated 2 weeks ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆50Updated 8 months ago
• NeuralNetworkVerification / Marabou
  ☆289Updated 2 months ago
• TrustAI / DeepConcolic
  Concolic Testing for Deep Neural Networks
  ☆119Updated 4 years ago
• PoPGRI / Race
  Repository for the GRAIC synthesis competition
  ☆23Updated last year
• ticktac-project / tchecker
  TChecker is an open-source verification tool for timed automata
  ☆23Updated 2 months ago
• ivan-gavran / samples2LTL
  A tool for obtaining LTL formulas from a sample of positive and negative words.
  ☆23Updated 3 years ago
• dlshriver / dnnv
  A Framework for Deep Neural Network Verification
  ☆56Updated 7 months ago
• benchflow / benchflow
  An open-source expert system for automated end-to-end objective-driven performance testing and performance insights.
  ☆27Updated this week
• nickovic / rtamt
  Specification-based real-time monitoring library
  ☆60Updated 3 weeks ago
• Kurorororo / numeric-fast-downward
  ☆15Updated last year
• robust-rosin / robust
  A dataset of 200+ bugs in the Robot Operating System with Docker containers
  ☆35Updated last year
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆171Updated 2 weeks ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• guykatzz / ReluplexCav2017
  ☆101Updated 5 years ago
• gintool / gin
  GI in No Time - a Simple Microframework for Genetic Improvement
  ☆45Updated 7 months ago
• eth-sri / eran
  ETH Robustness Analyzer for Deep Neural Networks
  ☆339Updated 2 years ago
• decyphir / breach
  ☆60Updated last year