Formal Methods Foundation

Details

Class Time & Location

  • Friday 14:00-16:30 (G-113)
  • Saturday 9:40-12:00 (G-113)

People

Instructor: TAs:
  • Mingliang Liu: liumingliang at mail.ustc.edu.cn
  • Si Wu: wusi98 at mail.ustc.edu.cn

Contact

  • Office Hour: after every class. Otherwise, send us email in advance to appoint, if you would like to meet and discuss.
  • QICQ Group:
    691508824
    . This group is used only for course announcements, we will discuss homework or course content problems in Piazza.

Homework Policy

Homework (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 Policy

There 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):

  • 30% homework
  • 70% final test