15-820A: Theorem Proving and Model Checking in PVS
As announced in class, grading will be based on the assignments only. There is no exam.