====== Talks on Classical Verification ======
In these talks we consider the problem of verification in classical setting.[[start|Back to Start page]]
----
^Title ^ Authors ^ Reference Papers ^
|Learning Assumptions for Compositional Verification|Jamieson M. Cobleigh, Dimitra Giannakopoulou, and Corina S. Păsăreanu|{{:papers:cgp-assume-tacas03.pdf|paper}}|