Sciweavers

Share
ATVA
2009
Springer
125views Hardware» more  ATVA 2009»
9 years 10 months ago
Automated Analysis of Data-Dependent Programs with Dynamic Memory
We present a new approach for automatic veriļ¬cation of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederbe...
books