15 Credits SPRING



Aims/Description: This module introduces state-of-the-art software and hardware verification techniques which nowadays 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. Students should be aware that there are limited places available on this course. 

Staff Contact: POPESCU ANDREI
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 2021-22. Students will be informed by the academic department of any changes made necessary by the ongoing pandemic.

Western Bank, Sheffield, S10 2TN, UK