Module code: CO7209
Module co-ordinator: Professor Alexander Kurz
Software reliability methods offer techniques and tools that can be employed in a variety of application domains to verify required functional properties against models of system behaviour.
In this module you will study some of these techniques and tools, including SPIN. We will look at languages for modelling systems and their properties, some of the algorithms that can be employed for automatic verification, and the limitations of current implementations.
- 23 hours of lectures
- 16 hours of practicals/workshops
- 111 hours of guided independent study
- Exam, 2 hours (60%)
- Coursework (40%)