Hi, You might also want to have a look at Zeno, being developed by Will Sonnex (cc'd) which is in this space http://www.doc.ic.ac.uk/~ws506/tryzeno/
Cheers, Tris On Mon, Oct 25, 2010 at 10:09:32AM +0200, Romain Demeyer wrote: > 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