Numerical stability analysis of floating-point computations using software model checking Conference Proceeding

Overview

CU Boulder Authors

Sankaranarayanan, Sriram

publication date

July 26, 2010

has restriction

closed

Date in CU Experts

January 29, 2016 1:53 AM

Full Author List

Ivancic F; Ganai MK; Sankaranarayanan S; Gupta A

author count

4

presented at event

2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) Conference

Other Profiles

Digital Object Identifier (DOI)

https://doi.org/10.1109/memcod.2010.5558622

Additional Document Info

start page

49

end page

58