Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation

Article Details
Title:	Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation
Article URLs:	https://doi.org/10.1007/978-3-319-21690-4_24
Alternative Article URLs:
Authors:	Mendes Oulamara	Ecole Normale Superieure
Authors:	Arnaud J. Venet	NASA Ames Research Center, Carnegie Mellon University
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://www.eleves.ens.fr/home/oulamara/ellcones.html
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1136008
DBLP Key:	conf/cav/OulamaraV15
Author Comments:

Computer Aided Verification, CAV 2015