CSE 599W is a special topics course on systems verification. We will examine research papers on applying formal verification techniques to building provably correct software, such as compilers, operating systems, Web browsers, and distributed systems. We expect you to present and discuss papers during lectures, finish a set of assignments, work on a research project, and make a presentation of your project at the end of the quarter.

General information

Reading list ideas