Title | Abstraction and Acceleration in SMT-based Model-Checking for Array Programs |
Publication Type | Journal Article |
Year of Publication | 2013 |
Authors | Alberti, Francesco, Ghilardi S., and Sharygina Natasha |
Journal | CoRR |
Volume | April 2013 |
Full Text |
Title | Abstraction and Acceleration in SMT-based Model-Checking for Array Programs |
Publication Type | Journal Article |
Year of Publication | 2013 |
Authors | Alberti, Francesco, Ghilardi S., and Sharygina Natasha |
Journal | CoRR |
Volume | April 2013 |
Full Text |