This website is preserved for historical and scholarly reference and is no longer actively maintained.
next up previous
Next: Pre- and Post-Conditions Up: Definitions Previous: Definitions

Testing versus Proving


Steve Stevenson
Wed Feb 26 10:54:45 EST 1997