Formal Software Verification

The course material provided is quite dense. It presumes the learner has quite a bit of mathematical background especially in boolean algebra and logic for computers. I don't CS background and therefore going through the material was a bit challenging. I had to look up lots of additional sources for understanding the material presented in the course. So, anyone planning to take this course needs to brush up on logic, proofs (mathematical), boolean algebra etc and you will end up spending lot more time to get the jist of what you need to learn. This course is more of a foundational course that is basically meant to appraise you of the abstract high level mathematical concepts. I am giving the course 2 stars because of the material provided and lack of help from the instructor. You take this course, you are pretty much on your own to master the material.