Verifying Complex Properties using Symbolic Shape Analysis
2007
Details
Title
Verifying Complex Properties using Symbolic Shape Analysis
Author(s)
Wies, Thomas ; Kuncak, Viktor ; Zee, Karen ; Podelski, Andreas ; Rinard, Martin
Published in
Workshop on Heap Abstraction and Verification (collocated with ETAPS)
Date
2007
Laboratories
LARA
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LARA - Laboratory for Automated Reasoning and Analysis
Work outside EPFL
Conference Papers
Published
Work outside EPFL
Conference Papers
Published
Record creation date
2007-08-21