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: Contribution to journal › Article › peer-review