| 
|
Quote: verify a program given input-output assertions by finding intermediate assertions and generating and proving verification conditions
topics >
all references >
references m-o >
Topic:
program proof via assertions
Quotation Skeleton
The verification of a program with respect to … and proving that the verification conditions are true. … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proof via assertions (61 items)