Module code: ECS715P/ECS715U
Credits: 15
Semester: SEM1
The aim of the module is to introduce you to some successful logic based techniques and tools used today in Software Engineering and Program Verification. The module will focus on Hoare logic and its application to automatic program verification and on the Spin Model Checker; students will be expected to use them and to understand and compare their capabilities.
Level: 7