b30wulffz / automata-toolkit
A tiny library which contains tools to convert, minimize and visualize Regular Expressions, NFA and DFA.
☆12Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for automata-toolkit
- A list of bugs found by SQLancer☆13Updated 9 months ago
- Generates loop invariants for program verification☆58Updated 3 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated last year
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆20Updated 2 years ago
- LLVM DSA fork for SeaHorn☆21Updated 5 years ago
- Mutation analysis tool for Coq verification projects☆30Updated 4 years ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆20Updated last month
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆28Updated 2 months ago
- ☆16Updated 5 months ago
- A Reduction Tool for SQL Bachelor's thesis of Jonas Müntener☆16Updated last month
- Finding and Understanding Bugs in Software Model Checkers☆8Updated 5 years ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Updated last year
- AE-solver and Skolemizer☆17Updated last year
- A SyGuS Solver☆22Updated 3 months ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆34Updated last year
- CodeHawk Abstract Interpretation Engine and Analyzers☆63Updated this week
- A unification-based alias analysis and related tools☆30Updated last month
- Static Analyzer and Verifier☆46Updated last month
- CoREBench: Errors in Find, Grep, Make☆14Updated 8 years ago
- Map2Check: Finding Software Vulnerabilities☆27Updated 4 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆65Updated last year
- Apron Numerical Abstract Domain Library☆114Updated 3 months ago
- ☆24Updated 2 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆48Updated 4 years ago
- MoCHi: Model Checker for Higher-Order Programs☆41Updated last year
- SMTInterpol interpolating SMT solver☆61Updated 4 months ago
- Efficient Sampling of SAT Solutions for Testing☆34Updated 5 years ago
- Test and benchmark repository for Z3.☆24Updated 2 weeks ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆20Updated last year