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, john@nmt.edu
Last updated: 1996/03/09 22:37:28
URL: http://www.nmt.edu/~shipman/soft/clean/proofrules.html