| 
|
Quote: proof may show that a program matches its specifications, but does not tell if the specifications are correct
topics >
all references >
references g-h >
Topic:
program proving is infeasible
Topic:
specification errors
Quotation Skeleton
proving assertions about programs may allow you to … are correct Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proving is infeasible (46 items)
Topic: specification errors (10 items)