[Haskell-cafe] Proving correctness

Christian Maeder Christian.Maeder at dfki.de
Fri Feb 11 17:02:20 CET 2011

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)


More information about the Haskell-Cafe mailing list