FOM: Re: Re: Re: Godel, f.o.m.

[charles silver]

    I guess a more direct question is to ask whether people think that the
formal approach to program verification is of value at all, given the many
kinds of errors that can creep in.  Are the benefits of program verification
outweighed by its weaknesses and costs?  Or, given that you have a certain
amount of money to spend for assuring program correctness, would the money
be better spent looking for other test mechanisms than for formal
verifications?

Charlie