Liquid Haskell es un verificador de programas para Haskell que permite a los desarrolladores especificar las propiedades de corrección mediante el uso de tipos de refinamiento . [1] [2] Las propiedades se verifican mediante un solucionador SMT compatible con SMTLIB2 , como Z3 Theorem Prover .