Quote: verify a program by verifying each component separately, checking consistency of specifications, and checking the program's requirements

Quotation Skeleton

Understanding or verification of the total program is … [specification, program, component specification] on its own, (b) verifying that for every program named … specification at the top, (c) verifying that the …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: program proof via assertions (61 items)