Talks on Classical Verification

In these talks we consider the problem of verification in classical setting.Back to Start page

Title	Authors	Reference Papers
Learning Assumptions for Compositional Verification	Jamieson M. Cobleigh, Dimitra Giannakopoulou, and Corina S. Păsăreanu	paper