Description
Formal specification and analysis techniques and tools for the description and validation of different software engineering artifacts such as requirements, designs, interfaces, code, tests, and protocols. Example topics covered may include satisfiability checking, constraint solving, test input generation and shrinking, theorem proving, runtime verification, static analysis, and state space exploration.
Learning Hours
120 (36 Lecture, 84 Private Study)
Prerequisite
Registration in a School of Computing Plan and a minimum grade of C- in CISC 223/3.0.
Exclusion
Maximum of one course from: CISC 328/3.0; CISC 422/3.0.