| 
|
Quote: verify clear-box descriptions by eliminating references to lower level black boxes; should match the original state-box function
topics >
all references >
references c-d >
Topic:
program proof via assertions
Quotation Skeleton
When the clear box description is complete, it … [by the development team] … is compared to the original state-box function. … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proof via assertions (61 items)