| 
|
Quote: functional verification structures a proof that a program implements its specification correctly
topics >
all references >
references c-d >
Topic:
program proof via assertions
Quotation Skeleton
With functional verification [Linger, Mills, Witt, Structured Programming, Addison-Wesley 1979], you structure a proof … a program is a rule for a function. … the full range of the function and no … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proof via assertions (61 items)