formalsec / waspLinks
WASP was superseded by: https://github.com/OCamlPro/owi
☆16Updated last year
Alternatives and similar repositories for wasp
Users that are interested in wasp are comparing it to the libraries listed below
Sorting:
- Staged Abstract Interpreters☆68Updated 2 years ago
- Solver for Constrained Horn Clauses☆46Updated this week
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- The Gillian Platform main repository☆91Updated last week
- A precise and scalable pointer analysis for LLVM, written in Ascent