| 
|
Quote: verify a subroutine by its pre and postconditions; if preconditions satisfied then postconditions will be after execution
topics >
all references >
references a-b >
Topic:
program proof via assertions
Quotation Skeleton
To verify a subroutine, we first state its … called, and its postcondition is what the routing … These conditions are more a contract than a … the routine will assume the burden of establishing … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proof via assertions (61 items)