| 
|
Quote: a refinement's name is also its precise specification; so prove that refinement matches its name
topics >
all references >
references p-r >
Topic:
program proof via assertions
Topic:
using a description as a name
Topic:
requirement specification by assertion
Quotation Skeleton
Our naming convention (like Hehner's) allows a very … must prove that each refinement lives up to … its name promises. Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: while proving a refinement, assume that a call does what its name promises
Topic: program proof via assertions (61 items)
Topic: using a description as a name (21 items)
Topic: requirement specification by assertion (28 items)