[Haskell-cafe] Proving correctness

[Christian Maeder]

Am 11.02.2011 13:48, schrieb Daniel Fischer:
[...] +1
> Testing can only prove code incorrect, it can never prove code correct 
> (except for extremely simple cases where testing all possible inputs can be 
> done; but guaranteeing that QuickCheck generates all possible inputs is 
> generally harder than a proof without testing in those cases).

Maybe smallcheck is better than QuickCheck for such (finite and simple)
cases.
http://hackage.haskell.org/package/smallcheck

C.