uuverifiers / slothLinks
An SMT Solver for strings
☆10Updated 7 years ago
Alternatives and similar repositories for sloth
Users that are interested in sloth are comparing it to the libraries listed below
Sorting:
- Staged Abstract Interpreters☆68Updated 2 years ago
- Incremental Program Analysis Framework☆93Updated 4 years ago
- An automated deductive program verifier.☆42Updated 2 years ago
- Bedrock Bit Vector Library☆28Updated 3 weeks ago
- Fully proved small C functions (examples for verification course).☆16Updated 8 years ago
- An SMT Solver for string constraints☆45Updated 3 weeks ago
- SymDiff-Differential-Program-Verifier☆37Updated 2 months ago
- GoNative project: formal machines models in Coq☆36Updated 8 years ago
- Solver for Constrained Horn Clauses☆46Updated this week
- ☆39Updated 3 weeks ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- ☆53Updated last week
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- ☆13Updated last year
- The Eldarica model checker☆94Updated last month
- Public reference documents for the SMT-LIB standard☆17Updated this week
- A graduate seminar on SMT solving and solver-aided systems☆27Updated 3 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 3 months ago
- Genetic program repair using GHC☆31Updated last year
- Luck -- A Language for Property-Based Generators☆35Updated 7 months ago
- Deadlock freedom by type checking☆20Updated 2 years ago
- Coq library on rewriting theory and termination☆37Updated 2 months ago
- Finite sets and maps for Coq with extensional equality☆30Updated 4 months ago
- Tiny verified SAT-solver☆30Updated 3 years ago
- Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.☆15Updated 9 years ago
- MoCHi: Model Checker for Higher-Order Programs☆43Updated 6 months ago
- ☆56Updated this week
- The Gillian Platform main repository☆90Updated last week
- Partition refinement☆16Updated 2 years ago
- Tons of Inductive Problems: The Benchmarks☆26Updated 2 years ago