MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Field Constraint Analysis." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

Field constraint analysis
by Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin Rinard — 2006 — In Proc. Int. Conf. Verification, Model Checking, and Abstract Interpratation
… On Field Constraint Analysis Thomas Wies1, Viktor Kuncak2,Patrick Lam 2, Andreas Podelski1…
Cited by 18 (9 self) – Add To MetaCart

Modular Data Structure Verification
by Martin C. Rinard — 2007 — EECS DEPARTMENT, MASSACHUSETTS INSTITUTE OF TECHNOLOGY
… provers. Second, I present an approximation of HOL based on field constraint analysis, a new technique…
Cited by 15 (11 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
… communication mechanism between different decision procedures. In addition, Bohne uses field constraint analysis…
Cited by 6 (3 self) – Add To MetaCart

An Overview of the Jahob Analysis System - Project Goals and Current Status
by Viktor Kuncak, Martin Rinard — 2006 — In NSF Next Generation Software Workshop
… different decision procedures. In addition, we are using field constraint analysis [80] to combine reasoning…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB