| 
|
Quote: function-theoretic design verification for verifying successive function decompositions into control structures and subfunctions
topics >
all references >
references i-l >
Topic:
program proof via assertions
Quotation Skeleton
In contrast, function-theoretic design verification is aimed at … [Mills IEEE Software Nov/86]. This process is a reduction to practice of the Correctness … [Linger et al, Structured Programming: Theory and Practice 1979] … in terms of correctness questions to apply in … p. 15 [For example: do [f]: [g] [h] od, by] … [g] followed by [h] do [f]? Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proof via assertions (61 items)