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:
- An SMT Solver for string constraints☆39Updated last week
- Solver for Constrained Horn Clauses☆39Updated 2 weeks ago
- TriCera: a model checker for C programs☆25Updated last week
- Collection of Distributed Protocol Verification Problems☆14Updated last year
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆13Updated 2 years ago
- An automated theorem prover for intuitionistic propostional logic☆12Updated 4 years ago
- Staged Abstract Interpreters☆66Updated 2 years ago
- PC-miner tool for program chairs☆27Updated 3 months ago
- Bedrock Bit Vector Library☆28Updated this week
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Updated 5 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Updated last year
- ☆12Updated last year
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- Fully proved small C functions (examples for verification course).☆16Updated 8 years ago
- ☆55Updated 2 months ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Updated 9 months ago
- The Eldarica model checker☆88Updated 3 weeks ago
- ☆14Updated 4 years ago
- The MemCAD static analyzer☆26Updated 3 years ago
- Tons of Inductive Problems: The Benchmarks☆26Updated last year
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated last year
- SymDiff-Differential-Program-Verifier☆36Updated last week
- AE-solver and Skolemizer☆17Updated 6 months ago
- Genetic program repair using GHC☆30Updated last year
- Deadlock freedom by type checking☆20Updated 2 years ago
- Relation algebra library for Coq☆48Updated 3 months ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Updated 6 years ago
- Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchai…☆31Updated 10 months ago