Quote: it is hard to find 'the' invariant when a program is wrong

Quotation Skeleton

Anyhow, proving program correctness is a useful and … even 'small mistakes' … usually make a program totally wrong … Looking for 'the' invariant is now a difficult … may be hard to find--and if so, is …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: program proving is infeasible (46 items)