cverify
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 |
cverify.txt · Last modified: 2017/04/18 10:32 by 127.0.0.1