Next / Previous / Contents / Shipman's homepage

7. Verification functions

Following Cleanroom practice, we define a few functions that describe higher-level ideas; these names are referred to in the Cleanroom intended functions of the code.

nomcompile3
#================================================================
# Verification functions
#----------------------------------------------------------------