CS 595C
Quantitative Verification
Spring 2021


Use of quantitative techniques in verification and security has been increasing, enabling a more nuanced assessment of correctness and security properties in computer systems that go beyond "yes" or "no" answers to queries about system behavior. For example, intead of asking if a computer system ever fails or if it is vulnerable, quantiative verification techniques investigate how likely it is that a system fails or how vulnerable it is. In this seminar, we will discuss recent research results on quantitative verification.
Instructor: Tevfik Bultan
Weekly meeting time: Thursdays 11:00-12:00
Units: This will be a 2 unit seminar

Course Work


Paper List

Paper list. If there are other papers you would like to discuss please add them to the paper list.