b30wulffz / automata-toolkit
A tiny library which contains tools to convert, minimize and visualize Regular Expressions, NFA and DFA.
☆12Updated 3 years ago
Alternatives and similar repositories for automata-toolkit:
Users that are interested in automata-toolkit are comparing it to the libraries listed below
- Test and benchmark repository for Z3.☆26Updated 2 weeks ago
- ☆12Updated 9 years ago
- ☆24Updated 3 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆48Updated 4 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆20Updated 3 years ago
- A SQL and R Synthesizer Using Query Reverse Engineering☆25Updated 4 years ago
- Binary analysis in HOL☆35Updated this week
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆38Updated last year
- Pedagogical first-order prover in Python☆73Updated last week
- A Python model checking package☆64Updated 4 months ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Updated 6 years ago
- Generates loop invariants for program verification☆59Updated 4 years ago
- TriCera: a model checker for C programs☆24Updated last week
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆37Updated last year
- A Flexible and Efficient Proof Checker for SMT Solvers☆18Updated this week
- SMTInterpol interpolating SMT solver☆62Updated 7 months ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆45Updated 2 years ago
- An SMT Solver for string constraints☆37Updated last week
- QueryFuzz implements a metamorphic testing approach to test Datalog engines.☆36Updated 3 years ago
- Tutorials and courses for Z3☆71Updated last month
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆90Updated this week
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆39Updated 4 months ago
- Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research☆48Updated 8 years ago
- An automata learning library written in Python.☆49Updated 4 years ago
- ☆40Updated 5 years ago
- The Eldarica model checker☆82Updated 2 weeks ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 3 years ago
- ☆51Updated 8 years ago
- AE-solver and Skolemizer☆16Updated last month