MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Lazy Shape Analysis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Lazy Shape Analysis
by Faculté Informatique, Dirk Beyer, Dirk Beyer, Thomas A. Henzinger, Thomas A. Henzinger, Gregory Theoduloz, Grégory Théoduloz — 2005 — In CAV’2006: Computer Aided Verification, LNCS 4144
…Lazy Shape Analysis Dirk Beyer Thomas A. Henzinger Grégory Théoduloz Technical Report No. MTC…
Cited by 12 (4 self) – Add To MetaCart

On verifying complex properties using symbolic shape analysis
by Thomas Wies, Viktor Kuncak, Karen Zee, Martin Rinard, Andreas Podelski — 2006 — In Workshop on Heap Abstraction and Verification (collocated with ETAPS
… predicate abstraction with shape analysis are clearly demonstrated in lazy shape analysis [6]. Lazy shape…
Cited by 6 (3 self) – Add To MetaCart

analysis
by Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz — 2007 — In Conf. on Computer Aided Verification (CAV
…-flow domain. Another example is lazy shape analysis [2], where we combined predicate abstraction and shape…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB