Automated Verification - Lecture Notes

Note: The posted lecture notes are in PostScript. You can find a PostScript viewer here.