Verification of Numerical Programs: From Real Numbers to Floating Point Numbers
- 1 January 2013
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Handbook of Floating-Point ArithmeticPublished by Springer Science and Business Media LLC ,2010
- PVS: A prototype verification systemLecture Notes in Computer Science, 1992
- What every computer scientist should know about floating-point arithmeticACM Computing Surveys, 1991