| 
|
Quote: verify state-box descriptions by eliminating references to state data; should match the original black-box function
topics >
all references >
references c-d >
Topic:
program proof via assertions
Quotation Skeleton
Before the [development] team proceeds to define the … functions. The result is a derived black- box … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proof via assertions (61 items)