Slide 1 Program Checking Sampath Kannan University of Pennsylvania Slide 2 Talk Outline Traditional software reliability paradigms. Program Checking Examples Extensions Spot…