RW744 Software Verification and Analysis

Introduction to various techniques for software quality management, including verification and static analysis tools & techniques for finding subtle concurrency bugs. The course will cover topics such as Software Testing, Data-flow analysis, Type state analysis, Model checking, Symbolic Execution, Linearisability, and Bounded Model checking. The course is assessed via practical assignments that require applying your knowledge to find bugs and solve problems using the various tools.

Please note that the webiste for this course is available on SunLearn.

Willem Visser, Cornelia P. Inggs, and Bernd Fischer
Computer Science