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 |