b30wulffz / automata-toolkit
A tiny library which contains tools to convert, minimize and visualize Regular Expressions, NFA and DFA.
☆13Updated 3 years ago
Related projects: ⓘ
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆47Updated 4 years ago
- Test and benchmark repository for Z3.☆23Updated last month
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆20Updated last year
- The LTSmin model checking toolset☆52Updated 6 months ago
- Documentation☆38Updated 2 months ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆20Updated 2 years ago
- A list of bugs found by SQLancer☆13Updated 7 months ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 2 months ago
- A Fast Floating-Point Satisfiability Solver☆20Updated 5 years ago
- Static Analyzer and Verifier☆44Updated 9 months ago
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆28Updated 2 weeks ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- ☆12Updated 8 years ago
- ☆15Updated 3 months ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆21Updated 3 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆34Updated last year
- Generates loop invariants for program verification☆56Updated 3 years ago
- SymDiff-Differential-Program-Verifier☆29Updated 2 weeks ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆19Updated 3 years ago
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- ☆40Updated 5 years ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆23Updated 9 months ago
- ☆10Updated 3 months ago
- Map2Check: Finding Software Vulnerabilities☆27Updated 3 years ago
- Solver for Constrained Horn Clauses☆34Updated this week
- PC-miner tool for program chairs☆23Updated 3 months ago
- ☆48Updated 8 years ago
- Public BanditFuzz Repo☆12Updated 3 years ago