|
Formal Methods FoundationDetailsClass Time & Location
PeopleInstructor:
Contact
Homework PolicyHomework (including the programming assignments and projects) should be attempted individually. If you have any difficulty in solving these problems, you may discuss with your classmates, the instructor or the TAs etc., but final submitted work should be your own. Late homework will NOT be considered, for whatever reason. Do NOT post your solutions to any public websites. Evaluation PolicyThere will be a close-book middle test and a final test. And the score is evaluated according to this strategy (subject to change in the future):
|