[Haskell] Specification and prover for Haskell

Till Mossakowski till at informatik.uni-bremen.de
Tue Oct 26 06:38:21 EDT 2010

The Heterogeneous Tool Set supports HasCASL for specification
of Haskell programs, and uses Isabelle for proving

Moreover, the Programatica project has an expressive logic
called P-logic, and tools supporting it:

Best, Till

Am 25.10.2010 10:09, schrieb Romain Demeyer:
> Hello,
> I'm working on static verification in Haskell, and I search for existing
> works on specification of Haskell programs (such as pre/post conditions,
> for example) or any other functional language. It would be great if
> there exists a prover based on this kind of specifications. I already
> found the ESC/Haskell. Do you know some other works which could be
> interesting?
> Thanks,
> rde.
> _______________________________________________
> Haskell mailing list
> Haskell at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell

More information about the Haskell mailing list