| 
|
Quote: mentally verify clear boxes by verifying a small number of correctness conditions; can check unanimously in a few seconds
topics >
all references >
references i-l >
Group:
program proving
Topic:
software review
Quotation Skeleton
In essence, clear boxes are composed of a … [one correctness condition for sequence, two for alternation, and three for iteration]. … The value to software quality of the reduction … every line of design and code through mental … Every team member must agree that each condition … condition. The requirement for unanimous agreement based on … [p. 10] Most verification conditions can be checked in … check. Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)
Topic: software review (80 items)