A Quick Research of Active Automata Learning
☆32Mar 13, 2020Updated 5 years ago
Alternatives and similar repositories for Active-Automata-Learning
Users that are interested in Active-Automata-Learning are comparing it to the libraries listed below
Sorting:
- [ICFEM2017 / IEEE Transactions on Reliability] Learning Type for Binary / Type Learning for Binaries and its Applications☆15Sep 14, 2018Updated 7 years ago
- An automata learning library written in Python.☆48Feb 26, 2020Updated 6 years ago
- ☆19Mar 29, 2025Updated 11 months ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated 7 months ago
- Generates provably correct trajectories from cLTL specifications for large collection of agents☆11Jul 13, 2019Updated 6 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- Implementation for paper Automata Extraction from Transformers.☆12Jun 8, 2024Updated last year
- A free, open-source Java library for automata learning algorithms☆221Feb 16, 2026Updated last week
- ☆12Mar 31, 2024Updated last year
- A Java library for bigraphical reactive systems.☆11Jan 31, 2023Updated 3 years ago
- A list of curated papers focusing on Network Protocol Fuzzing.☆13Jul 5, 2022Updated 3 years ago
- Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)☆19Mar 21, 2024Updated last year
- Protocol state machine learner and fuzzer for DTLS servers and clients☆41Feb 20, 2026Updated last week
- The Automata Learning Framework☆19May 20, 2020Updated 5 years ago
- An SMT Solver for string constraints☆48Feb 10, 2026Updated 2 weeks ago
- Code from MSc thesis on combining learning and fuzzing☆19Jul 30, 2018Updated 7 years ago
- implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples☆77Dec 3, 2019Updated 6 years ago
- [SmartCom2017] An Effective Malware Detection based on Behaviour and Data Feature☆20Sep 14, 2018Updated 7 years ago
- DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning☆24Apr 17, 2021Updated 4 years ago
- A Simple Abstract Interpreter, built for teaching purposes☆20May 13, 2020Updated 5 years ago
- An evolutionary, coverage-guided greybox network protocol fuzzer☆21Aug 31, 2021Updated 4 years ago
- The FlexFringe tool for flexible learning of state machines (deterministic automata) from traces. See the paper at https://arxiv.org/abs/…☆25Jan 17, 2026Updated last month
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆25Jul 7, 2022Updated 3 years ago
- A set of tools for analyzing languages via logic and automata☆27Feb 12, 2026Updated 2 weeks ago
- a Rust implementation of first-order term rewriting systems (TRS)☆29Dec 28, 2021Updated 4 years ago
- EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages☆24Oct 10, 2020Updated 5 years ago
- deep learning for math☆29May 4, 2019Updated 6 years ago
- MemLock: Memory Usage Guided Fuzzing☆32Jun 30, 2020Updated 5 years ago
- A tool that can be used to learn state machines from implementations.☆68Dec 14, 2025Updated 2 months ago
- A protocol reverse engineer tool written in java.☆30Oct 14, 2016Updated 9 years ago
- QueryFuzz implements a metamorphic testing approach to test Datalog engines.☆36Jun 8, 2021Updated 4 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Jul 12, 2025Updated 7 months ago
- Demo for op rollup with decoupling SVM execution layer☆42Oct 30, 2024Updated last year
- Generalized Optimal Transport Attention with Trainable Priors☆24Jan 25, 2026Updated last month
- Репозиторий для лабораторных и просто работ по программе обучения на кафедре ИУ9☆12Nov 15, 2025Updated 3 months ago
- ☆17Feb 8, 2026Updated 3 weeks ago
- ☆12Nov 22, 2024Updated last year
- A powerful Rust SDK for real-time listening and parsing Fourmeme contract events on BSC, with automatic tracking of token lifecycle from …☆52Oct 9, 2025Updated 4 months ago
- Some literature published on topics around IoT & Cybersecurity☆13Oct 13, 2025Updated 4 months ago