Slide 1 Evidence-Based Verification Li Tan Computer Science Department Stony Brook Joint work with Rance Cleaveland Augest 2002 Slide 2 Evidence-Based Verification Outline…