Program Correctness
Partial and Total Correctness. Basic Paths. Verification Conditions. PiVC.
pivc.pdf
—
PDF document,
218 kB (223873 bytes)