[Haskell] Specification and prover for Haskell

Janis Voigtländer jv at informatik.uni-bonn.de
Mon Oct 25 04:17:57 EDT 2010

Might be of interest: http://www.cs.ru.nl/Sparkle/

Romain Demeyer schrieb:
> 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

Jun.-Prof. Dr. Janis Voigtländer
mailto:jv at iai.uni-bonn.de

More information about the Haskell mailing list