This website is preserved for historical and scholarly reference and is no longer actively maintained.
Next: Performance Analysis
Up: Definitions
Previous: Testing versus Proving
Give a structural inductive definition for pre- and post-conditions.
Steve Stevenson
Wed Feb 26 10:54:45 EST 1997