cmu-able / rainbow
Rainbow self-adaptive framework
☆30Updated last year
Related projects ⓘ
Alternatives and complementary repositories for rainbow
- SWIM - A Simulator of Web Infrastructure and Management☆17Updated 2 years ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 3 years ago
- A free, open-source Java library for automata learning algorithms☆207Updated last month
- A free, open-source Java library for modeling automata, graphs, and transition systems☆93Updated 2 months ago
- [PLDI 19'] An Inductive Synthesis Framework for Verifiable Reinforcement Learning☆13Updated 4 years ago
- Python library for working with Metric Temporal Logic (MTL)☆93Updated last year
- Specify and synthesize systems using symbolic algorithms☆46Updated last week
- An Automata Learning Library Written in Python☆165Updated 3 weeks ago
- JavaSMT - Unified Java API for SMT solvers.☆186Updated this week
- ThorFI: A Novel Approach for Network Fault Injection as a Service☆7Updated 2 years ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆10Updated last month
- nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models☆30Updated 8 months ago
- JKind - An infinite-state model checker for safety properties in Lustre☆52Updated 2 weeks ago
- ☆53Updated 5 months ago
- Implementation of the Rice University Bidding System (RUBiS)☆15Updated 9 years ago
- A micro-service reference test application for model extraction, cloud management, energy efficiency, power prediction, single- and multi…☆121Updated last week
- Kieker's main repository☆70Updated this week
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆45Updated 3 years ago
- Concolic Testing for Deep Neural Networks☆117Updated 3 years ago
- A Modern Probabilistic Model Checker☆135Updated last week
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆32Updated last year
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Updated last year
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 2 years ago
- Analyse package dependency networks at the call graph level☆92Updated 11 months ago
- A Quick Research of Active Automata Learning☆21Updated 4 years ago
- SPL Conqueror is a library to learn the influence of configuration options of configurable software systems on non-functional properties.☆23Updated 4 months ago
- Mutation-based implementation of a random equivalence testing strategy for active automata learning☆14Updated 5 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆88Updated 5 months ago
- Black-box extraction of Finite-State Machines from RNNs.☆18Updated 2 years ago