acorrenson / WiSE
A formally verified bug finder
☆14Updated last year
Related projects ⓘ
Alternatives and complementary repositories for WiSE
- egraph on top of sqlite☆12Updated 2 years ago
- Genetic program repair using GHC☆30Updated 5 months ago
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆14Updated last year
- ☆37Updated 6 months ago
- ☆13Updated last year
- Kleene algebra modulo theories☆26Updated last year
- Formalization of Typed Assembly Language (TAL) in Coq☆17Updated 7 months ago
- EGraphs in OCaml☆60Updated 9 months ago
- Formalization of C++ for verification purposes.☆69Updated this week
- ☆11Updated 5 months ago
- ☆13Updated 4 years ago
- Tiny verified SAT-solver☆28Updated 2 years ago
- Staged Abstract Interpreters☆65Updated last year
- Tons of Inductive Problems: The Benchmarks☆24Updated last year
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆24Updated 10 months ago
- Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]☆13Updated 3 months ago
- Egraphs Modulo Theories☆14Updated 3 weeks ago
- ☆36Updated 3 months ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆12Updated last year
- Cerberus C semantics☆53Updated this week
- Sturdy is a library for developing sound static analyses in Haskell.☆60Updated last year
- A Simple Abstract Interpreter, built for teaching purposes☆17Updated 4 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆41Updated 3 months ago
- Bedrock Bit Vector Library☆27Updated 8 months ago
- An automated theorem prover for intuitionistic propostional logic☆12Updated 4 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Updated 6 years ago
- Finite sets and maps for Coq with extensional equality☆29Updated last year
- Python tools for the K Framework☆13Updated 6 months ago
- An awesome list of e-graph resources☆97Updated 2 weeks ago