Certifying Solutions for Numerical Constraints

Eva Darulova, Viktor Kuncak. Certifying Solutions for Numerical Constraints. In Shaz Qadeer, Serdar Tasiran, editors, Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers. Volume 7687 of Lecture Notes in Computer Science, pages 277-291, Springer, 2012. [doi]

Abstract

Abstract is missing.