Courses

• 97B

  • Advanced Topics on Formal Methods - F. Ghassemi, R. Khosravi

  • Software Testing - F. Faghih

  • Software Synthesis - H. Hojjat, F. Faghih

• 97A

  • Introduction to Formal Methods - H. Hojjat, F. Ghassemi, R. Khosravi

  • Distributed Systems - F. Faghih