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

charles silver silver_1 at mindspring.com
Thu Jan 27 12:05:01 EST 2000


    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





More information about the FOM mailing list