DES-Lab / Extracting-FSM-From-RNNsLinks
Black-box extraction of Finite-State Machines from RNNs.
☆21Updated 3 years ago
Alternatives and similar repositories for Extracting-FSM-From-RNNs
Users that are interested in Extracting-FSM-From-RNNs are comparing it to the libraries listed below
Sorting:
- An Automata Learning Library Written in Python☆182Updated 2 weeks ago
- Mutation-based implementation of a random equivalence testing strategy for active automata learning☆15Updated 6 years ago
- A Quick Research of Active Automata Learning☆30Updated 5 years ago
- Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.☆24Updated 2 years ago
- ☆19Updated 2 months ago
- A model-based API Fuzzer for SMT Solvers.☆14Updated last month
- CAV'22 paper to speed up Neural Network Verification.☆14Updated 2 years ago
- The released code of ReluVal in USENIX Security 2018☆59Updated 5 years ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆54Updated last year
- The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.☆24Updated 3 weeks ago
- The FlexFringe tool for flexible learning of state machines (deterministic automata) from traces. See the paper at https://arxiv.org/abs/…☆20Updated last week
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆70Updated 6 months ago
- Using automata learning to mine models used for fuzzing of statefull systems☆24Updated 4 years ago
- The repository hosts the code for the SBFT CPS Tool competition for testing autonomous cars.☆16Updated 6 months ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆54Updated 4 months ago
- Assume-Guarantee REasoning Environment☆16Updated last month
- A free, open-source Java library for automata learning algorithms☆215Updated 2 weeks ago
- An automata learning library written in Python.☆49Updated 5 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated 2 years ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆47Updated 3 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- Code2Inv: Learning Loop Invariants for Program Verification☆95Updated 4 years ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Updated last year
- Program Vulnerability Repair via Inductive Inference☆20Updated last year
- ☆29Updated 5 months ago
- Protocol state machine learner and fuzzer for DTLS servers and clients☆37Updated last week
- Language models for Coq based on data collected from the coq lsp.☆16Updated 2 weeks ago
- User Guided API Misuse Detection☆29Updated 2 years ago
- Open-source code for RFCNLP paper.☆58Updated 2 years ago