[Haskell] Specification and prover for Haskell

Peter Padawitz peter.padawitz at udo.edu
Tue Oct 26 08:19:37 EDT 2010

Haskell functions may be verified interactively and/or automatically  
with Expander2 (http://fldit-www.cs.uni-dortmund.de/~peter/Expander2.html 

Induction, coinduction, narrowing and extendable sets of  
simplification rules admit proofs and computations at various levels  
of automation.

All derivations are recorded both in textual form and in terms of  
straight-line programs that allow their stepwise replay.

Peter Padawitz

More information about the Haskell mailing list