Map
Index
Random
Help
th

Quote: functional verification structures a proof that a program implements its specification correctly

topics > all references > references c-d > QuoteRef: cobbRH11_1990 , p. 47



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.


Related Topics up

Topic: program proof via assertions (61 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.