International Static Analysis Symposium, SAS 2016

Article Details
Title: Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants
Article URLs:
Alternative Article URLs:
Authors: Pierre Roux
  • ONERA – The French Aerospace Lab
Yuen-Lam Voronin
  • University of Colorado
Sriram Sankaranarayanan
  • University of Colorado
Sharing: Research produced artifacts
Verification: Authors have verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 0953941, 1527075
DBLP Key: conf/sas/RouxVS16
Author Comments:

Discuss this paper and its artifacts below