LearnLib / learnlib
A free, open-source Java library for automata learning algorithms
☆200Updated 2 weeks ago
Related projects: ⓘ
- A free, open-source Java library for modeling automata, graphs, and transition systems☆90Updated 3 weeks ago
- An Automata Learning Library Written in Python☆160Updated this week
- A Quick Research of Active Automata Learning☆21Updated 4 years ago
- An implementation of the LSTAR Grammatical Inference Algorithm☆49Updated 6 months ago
- JavaSMT - Unified Java API for SMT solvers.☆179Updated this week
- Joana - Information Flow Control for Java☆91Updated 2 years ago
- Inferring models of systems from observations of their behavior☆81Updated 2 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆62Updated 10 months ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆87Updated 3 months ago
- GenProg: heuristic, GP-based automatic program repair for C.☆89Updated 3 years ago
- A dynamic symbolic analysis tool for Java☆112Updated 5 years ago
- Mutation-based implementation of a random equivalence testing strategy for active automata learning☆14Updated 5 years ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆44Updated 3 years ago
- Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automat…☆34Updated last month
- Semantic program repair system for C programs☆97Updated last year
- The Ultimate program analysis framework.☆194Updated this week
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 2 years ago
- Symbolic PathFinder☆125Updated last month
- The ISLa (Input Specification Language) language & solver.☆56Updated 2 months ago
- A constraint solver abstraction layer for Java☆20Updated last year
- Dynamic detection of likely invariants☆214Updated 2 weeks ago
- JKind - An infinite-state model checker for safety properties in Lustre☆52Updated last month
- ☆15Updated 5 years ago
- Static checker for Java☆83Updated 9 months ago
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆96Updated 3 years ago
- Efficient techniques for mining LTL formulae over linear input traces☆19Updated last year
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆30Updated last year
- A fuzzing framework for SMT solvers☆183Updated last year
- An automata learning library written in Python.☆47Updated 4 years ago