| 
|
Quote: verify the expansion of a clear-box into code by constructing a proof argument that the expansion matches the functional specification
topics >
all references >
references c-d >
Topic:
program proof via assertions
Group:
program proving
Topic:
Cleanroom software development
Quotation Skeleton
Once the design is complete, the team expands … black-box function at that level. Following each expansion, … specification. … The proof strategy is divided into small parts … to master these ideas and construct proof arguments … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: using Cleanroom techniques, can construct proof arguments for very large software systems
Topic: program proof via assertions (61 items)
Group: program proving (10 topics, 310 quotes)
Topic: Cleanroom software development (38 items)