| Title | An extension of lazy abstraction with interpolation for programs with arrays |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | Alberti, Francesco, Bruttomesso R., Ghilardi S., Ranise S., and Sharygina Natasha |
| Journal | FMSD |
| ISSN | 1572-8102 |
| Keywords | Array programs, Lazy abstraction, Model checking, SMT |
| DOI | 10.1007/s10703-014-0209-9 |
| Full Text |
Formal Verification and Security Lab
The Lab is funded by Swiss National Science Foundation, Foundation Tasso, Hasler Foundation, EU-COST initiative and EU FP7/Pincette.
