| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4951474 | Journal of Logical and Algebraic Methods in Programming | 2016 | 26 Pages |
Abstract
Finally we present a case study to show the viability of our tool. We also document a more powerful abstraction refinement method for Dash that exploits unsatisfiable regions and evaluate its effect.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Olli Saarikivi, Keijo Heljanko,