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.
This formal methods-related article is a stub.
You can help Wikipedia by expanding it.This free and open-source software article is a stub.
You can help Wikipedia by expanding it.