Docs and lab codes of the course "Formal Methods Foundation (2015)" at USTC.
Teacher:
- Hua, Baojian; bjhua @ ustc.edu.cn
Teaching assistants:
- Guo, Kailei; gkl25552 @ mail.ustc.edu.cn
- Zhao, Di; zhaodi01 @ mail.ustc.edu.cn
Notes: codes for the last few labs are not complete.