SWE302

Course Description

main focus of this course is to introduce a mathematical approach for the specification, verification and testing of software systems. The course present classical logic, Hoare logic, software behavior and software specification, data types and constructive logic.

Course Details