COM6507 Software and Hardware Verification

Aims/Description: This module introduces state-of-the-art software and hardware verification techniques which are widely used in industry. They are particularly important in safety-critical applications, where system failures can not be tolerated. Designing high quality dependable computing systems is widely believed to be the main challenge in Computer Science. Particular focus is on protocol verification and hardware design verification by model checking and program verification by formalisms such as Hoare logics. These techniques presume formal system specifications and use automated tools for analysing whether a system satisfies the properties required or imposed.

Staff Contact: STRUTH GEORG

Teaching Methods: Lectures, Laboratory work, Independent Study

Assessment: Formal Exam

Notes: This unit forms part of an accredited degree programme

Information on the department responsible for this unit (Computer Science):

Departmental Home Page

Teaching timetable

NOTE The content of our courses is reviewed annually to make sure it's up-to-date and relevant. Individual modules are occasionally updated or withdrawn. This is in response to discoveries through our world-leading research; funding changes; professional accreditation requirements; student or employer feedback; outcomes of reviews; and variations in staff or student numbers. In the event of any change we'll consult and inform students in good time and take reasonable steps to minimise disruption.

URLs used in these pages are subject to year-on-year change. For this reason we recommend that you do not bookmark these pages or set them as favourites.

Teaching methods and assessment displayed on this page are indicative for 2025-26.