CS 477: Formal Software Development Methods
main
::
policy
::
lectures
::
mps
:: exams ::
unit project
::
resources
::
faq
Midterm
Date:
Friday Mar 8th
Time:
9:30am - 10:45am (in class)
Location:
1131 SC
Final
Date:
TBA
Study Guides
Syllabus and study guide for Midterm
Sample Midterm Questions
Solutions for Sample Midterm
Rules for Propositional Logic, First Order Logic, Hoare Logic, Weakest Precondition, Verification Condition Generation