This class was tough.
Course Overview:
This course helps to understand formal methods, proof techniques, program analysis. So those who are interested in program design, programming language they must take this course
Course highlights:
This course teaches proof techniques, program analysis, Program verification, CTL, Kripke Structure, Software Security Analysis
Hours per week:
6-8 hours
Advice for students:
You have to study and practise a lot. Tru to do a lots of proofs and follow the class lectures. The homeworks will be tough. But if you understand the topics the homeworks will not be so difficult