Award in Formal Verification (Computer Science)

This advanced module delves into the theoretical foundations and practical applications of formal languages and automata, fundamental concepts that underpin computer science, linguistics, and artificial intelligence. Students will explore the power and limitations of computational models, develop problem-solving skills, and gain insights into language recognition, parsing, and the computational complexity of algorithms.

About the Award in Formal Verification

When it comes to assessment methods, we have included quite a variety that will allow learners with different learning styles and abilities to complete the programme successfully. Students will also have to prepare individual and team reports and presentations, apart from written and multiple-choice examinations. Most modules have a heavy assignment component which vary from term papers to implementing algorithms stemming from the unit. For pass marks, grading and resist systems please refer to the Grading System at the end of the document. In specific reference to the situation where a student fails a module, they will be given one chance to resit, and if they fail the resit too, they will need to redo the module.