| 
|
Quote: only testing reveals discrepancies between a model and the real situation; also errors in proofs
topics >
all references >
references p-r >
Group:
testing
Topic:
specification is infeasible
Topic:
program proving is infeasible
Quotation Skeleton
No amount of mathematical analysis will reveal discrepancies … are often made in proofs. In mature engineering … Google-1 Google-2
Copyright clearance needed for quotation.
Group: testing (18 topics, 551 quotes)
Topic: specification is infeasible (46 items)
Topic: program proving is infeasible (46 items)