Syllabus This syllabus is only indicative. Our aim is to cover topics in ...

... Facebook's Infer, various model checkers, symbolic execution engines, etc.). ... In the Spring 2020 edition of the course, I may elide the following components.