Credits: 3 (3-0-0)
Prerequisites: COL765 or (COL703+COL226)
Description
The course will focus on one or more specialised research topics in: Model-checking; theorem-proving; rewriting; abstractions and abstraction refinement; formal frameworks for specification and modelling; game-theoretic techniques; verification of probabilistic systems; Markov decision processes; symbolic-, abstraction- and automata-based methods and algorithms for the verification of hardware, software, hybrid, real-time, concurrent and distributed systems.
Prerequisite Tree
flowchart TD
COL876-1348[COL876]
COL876-1348 --- Or1349[Any one of]:::empty
COL765-1350 --> COL106-1350[COL106]
Or1349 -.-> COL765-1350[COL765]
COL106-1350 --> COL100-1350[COL100]
Or1349 -.- and1351[ ]:::trueEmpty
COL703-1351 --> COL106-1351[COL106]
COL226-1351 --> COL106-1351[COL106]
and1351 --> COL226-1351[COL226]
COL106-1351 --> COL100-1351[COL100]
and1351 --> COL703-1351[COL703]
classDef empty height:17px, fill:transparent, stroke:transparent;
classDef trueEmpty height:0px, width:0px;