Fingerprint
Dive into the research topics of 'DIG: A dynamic invariant generator for polynomial and array invariants'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
DIG: A dynamic invariant generator for polynomial and array invariants
Thanhvu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest
Research output: Contribution to journal › Article › peer-review
33
Scopus
citations