Recommended reading papers posted.
Software Reliability 2016/2017 web site goes live.
Lecturer: Cristian Cadar
Cristian will lecture on: dynamic symbolic execution; constraint solving; the lockset algorithm; undefined behaviour, compiler bugs and unstable code; introduction to security and stack canaries; safe C compilers; and control-flow, data-flow and write integrity. Feel free to get in touch with him in relation to these course topics or about the course in general.
Lecturer: Alastair F. Donaldson
Alastair (Ally) will lecture on: verification condition generation; procedure summaries; bounded model checking; invariant generation; systematic testing for concurrent programs; and undefined behaviour. Feel free to get in touch with him in relation to these course topics or about the course in general. Ally is also running the coursework component of Software Reliability, so get in touch with him for coursework queries.
Course Support Leader: Luís Pina
Luís will deliver tutorials covering a wide selection of topics from the course.