This class was tough.
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
This course teaches proof techniques, program analysis, Program verification, CTL, Kripke Structure, Software Security Analysis
Hours per week:
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