| 
|
Quote: proved correct ordering of partial records by inserting assertions at each control point; prevented sequencing errors
topics >
all references >
references t-z >
Topic:
program proof via assertions
Quotation Skeleton
In order to assure that every partial record … to establish that records were arriving at the … No errors due to incorrect sequencing occurred. … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proof via assertions (61 items)