Liquid Haskell
From Wikipedia, the free encyclopedia
Liquid Haskell is a program verifier for the programming language Haskell which allows specifying correctness properties by using refinement types.[1][2] Properties are verified using a satisfiability modulo theories (SMT) solver which is SMTLIB2-compliant, such as the Z3 Theorem Prover.
Original authorsNiki Vazou, Eric Seidel
Ranjit Jhala
Ranjit Jhala
Initial release2014
Stable release
0.9.12.2
/ March 22, 2025
Written inHaskell
| Liquid Haskell | |
|---|---|
| Original authors | Niki Vazou, Eric Seidel Ranjit Jhala |
| Initial release | 2014 |
| Stable release | 0.9.12.2
/ March 22, 2025 |
| Written in | Haskell |
| Available in | English |
| Type | Formal program verifier |
| License | BSD 3-clause |
| Website | ucsd-progsys |
| Repository | github |
.svg){kind=logo}