Prerequisites:None
Similar to MIT 862; which has the following description: Research methodologies applicable to the IT field as preparation for the mini-dissertation for the A Stream students.
This module provides the foundations on which other modules build by enabling a deeper understanding of how software interacts with hardware.
This module focuses on state-of-the-art security topics that are current and relevant to industry.
Model Checking is a technique for automatically verifying whether a software program satisfies correctness requirements such as mutual exclusion, …