Fingerprint
Dive into the research topics of 'Ivy: Safety verification by interactive generalization'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Ivy: Safety verification by interactive generalization
Oded Padon, Kenneth L. McMillan, Aurojit Panda, Mooly Sagiv, Sharon Shoham
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution