Property-Directed Shape Analysis

Article Details
Title:	Property-Directed Shape Analysis
Article URLs:	https://doi.org/10.1007/978-3-319-08867-9_3
Alternative Article URLs:
Authors:	Shachar Itzhaky	Tel Aviv University
	Nikolaj Bjørner	Microsoft Research
	Thomas W. Reps	University of Wisconsin - Madison GrammaTech, Inc.
	Mooly Sagiv	Tel Aviv University
	Aditya V. Thakur	University of Wisconsin - Madison
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://bitbucket.org/tausigplan/epr-pdr
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/cav/ItzhakyBRST14
Author Comments:

Computer Aided Verification, CAV 2014