Topics in this unit include modelling in computer science; the significance of concurrency; what a complex system is; why systems are complex; appropriate mathematical formalisms for modelling; establishing system correctness; correctness property specification; simulation; and managing system complexity. -- Course Website
Prerequisites: Students must be enrolled in honours or a higher degree by coursework in computer science and software engineering.