Skip to main content

Module

CSC8105 : System Validation

  • Offered for Year: 2020/21
  • Module Leader(s): Professor Maciej Koutny
  • Owning School: Computing
  • Teaching Location: Newcastle City Campus
Semesters
Semester 1 Credit Value: 10
ECTS Credits: 5.0

Aims

To introduce basic formal techniques and computer aided verification topics relevant to the design and validation of concurrent and distributed computing systems.
To introduce methods and algorithms aimed at coping with the high complexity of concurrent and distributed designs.
To become familiar with an industrial strength protocol specification language and validation tool

Outline Of Syllabus

The role of formal techniques supporting specification and computer aided verification in the design and validation of concurrent and distributed computing systems.
Automata based models for the verification of behavioural properties of concurrent and distributed computing systems.
Verification techniques based on the state space exploration: coping with the state space explosion problem.
Examples of other verification techniques, such as bisimulation.
High level specification and computer aided verification of communication protocols.

Teaching Methods

Module leaders are revising this content in light of the Covid 19 restrictions.
Revised and approved detail information will be available by 17 August.

Assessment Methods

Module leaders are revising this content in light of the Covid 19 restrictions.
Revised and approved detail information will be available by 17 August.

Reading Lists

Timetable