You are here: Home Decision Procedures … Slides Program Correctness

Program Correctness

Partial and Total Correctness. Basic Paths. Verification Conditions. PiVC.

PDF document icon pivc.pdf — PDF document, 218 kB (223873 bytes)