Next / Previous / Shipman's Home Sweet Homepage / Site map

Proof rules for Cleanroom control structures

In order to verify that a procedure's components correctly implement that procedure's intended function, four sets of proof rules are used, one for each of the four permissible branch constructs.

Next: Using trace tables for verification
See also: Overview of the Cleanroom software methodology
Previous: Verifying a Cleanroom procedure
Site map
John W. Shipman,
Last updated: 1996/03/09 22:37:28