On Verifying Complex Properties using Symbolic Shape Analysis
2006
Files
Details
Title
On Verifying Complex Properties using Symbolic Shape Analysis
Author(s)
Wies, Thomas ; Kuncak, Viktor ; Zee, Karen ; Podelski, Andreas ; Rinard, Martin
Date
2006
Note
MPI-I-2006-2-1 (Max-Planck Institute for Computer Science)
Additional link
URL
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
Technical Reports
Published
Work outside EPFL
Technical Reports
Published
Record creation date
2007-08-21