DES-Lab / AALpy
An Automata Learning Library Written in Python
☆176Updated last week
Alternatives and similar repositories for AALpy:
Users that are interested in AALpy are comparing it to the libraries listed below
- A free, open-source Java library for automata learning algorithms☆214Updated last week
- Black-box extraction of Finite-State Machines from RNNs.☆19Updated 2 years ago
- A Quick Research of Active Automata Learning☆27Updated 5 years ago
- An automata learning library written in Python.☆49Updated 5 years ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆95Updated 2 weeks ago
- Python Bindings for the Probabilistic Model Checker Storm☆33Updated last week
- Mutation-based implementation of a random equivalence testing strategy for active automata learning☆15Updated 6 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆53Updated 2 months ago
- A Modern Probabilistic Model Checker☆145Updated this week
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆30Updated 2 years ago
- A Python model checking package☆65Updated 6 months ago
- Approximate Model Counter☆74Updated last week
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆23Updated 2 years ago
- ☆12Updated 2 years ago
- A fast and simple automata library☆23Updated this week
- PyNuSMV is a Python framework for experimenting and prototyping BDD-based model checking algorithms based on NuSMV.☆24Updated 6 years ago
- A model-based API Fuzzer for SMT Solvers.☆13Updated 3 weeks ago
- Code2Inv: Learning Loop Invariants for Program Verification☆91Updated 4 years ago
- SMTInterpol interpolating SMT solver☆63Updated last month
- A Python script to create cactus and scatter plots based on matplotlib☆24Updated 4 years ago
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- The ISLa (Input Specification Language) language & solver.☆63Updated 8 months ago
- ☆24Updated 3 years ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆46Updated 3 years ago
- KLEEF Symbolic Execution Engine☆15Updated 2 months ago
- ☆17Updated 4 months ago
- Efficient techniques for mining LTL formulae over linear input traces☆20Updated last year
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆28Updated last month
- A framework for testing compilers' type checkers☆17Updated 4 months ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated 2 years ago