This course provides formal specification techniques that allow students to construct of the formal model that can perform tests on specifications and corresponding code to find errors in requirements, models, designs, and implementations. The course will focus on the role of Formal Methods, why Study Formal Methods in Software Engineering? Specification of Programs and Myths about Formal Methods.
Launch Course