[Haskell-cafe] is proof by testing possible?

muad muad.dib.space at gmail.com
Mon Oct 12 13:42:10 EDT 2009

Is it possible to prove correctness of a functions by testing it? I think the
tests would have to be constructed by inspecting the shape of the function

View this message in context: http://www.nabble.com/is-proof-by-testing-possible--tp25860155p25860155.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

More information about the Haskell-Cafe mailing list