[Haskell-cafe] Re: Haskell Weekly News: Issue 85 - September 13,
monnier at iro.umontreal.ca
Mon Sep 15 10:32:44 EDT 2008
> A more difficult question is: how do I know that the formal
> specification I've written for my program is the right one? Tools can
> fairly easily check that your programs conform to a given
> specification, but they cannot (to my knowledge) check that your
> specification says exactly what you want it to say.
The key is *redundancy*: as long as your property is sufficiently
different (in structure, in authorship, etc...) you can hope that if the
spec has a bug, the code will not have a corresponding bug and
vice versa. It's only a hope, tho.
More information about the Haskell-Cafe