Would someone like to make a Haskell Wiki page to summarise the responses to this thread? Simon | -----Original Message----- | From: haskell-bounces@haskell.org [mailto:haskell-bounces@haskell.org] On Behalf Of | Till Mossakowski | Sent: 26 October 2010 11:38 | To: haskell@haskell.org >> "haskell@haskell.org" | Subject: Re: [Haskell] Specification and prover for Haskell | | The Heterogeneous Tool Set supports HasCASL for specification | of Haskell programs, and uses Isabelle for proving | http://www.dfki.de/sks/hets | | Moreover, the Programatica project has an expressive logic | called P-logic, and tools supporting it: | http://programatica.cs.pdx.edu/ | | 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@haskell.org | > http://www.haskell.org/mailman/listinfo/haskell | | _______________________________________________ | Haskell mailing list | Haskell@haskell.org | http://www.haskell.org/mailman/listinfo/haskell