You are here: Home Decision Procedures … Slides Program Correctness

Program Correctness

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