list | abstracts | bib ]

Verifying Complex Properties using Symbolic Shape Analysis

paper pdf    paper ps   

Citation

Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, and Martin Rinard. Verifying complex properties using symbolic shape analysis. In Workshop on Heap Abstraction and Verification (collocated with ETAPS), 2007.

BibTex Entry

@INPROCEEDINGS{WiesETAL07VerifyingComplexPropertiesSymbolicShapeAnalysis,
  author = {Thomas Wies and Viktor Kuncak and Karen Zee and
Andreas Podelski and Martin Rinard},
  title = {Verifying Complex Properties using Symbolic Shape Analysis},
  booktitle = {Workshop on Heap Abstraction and Verification 
(collocated with ETAPS)},
  year = 2007,
  localurl = {http://lara.epfl.ch/~kuncak/papers/WiesETAL07VerifyingComplexPropertiesSymbolicShapeAnalysis.pdf}
}

list | abstracts | bib ]