1 research outputs found
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions
- Author
- Aho A. V.
- Bagnara R.
- Bagnara R.
- Barr E. T.
- Belaid M. S.
- Benhamou F.
- Borges M.
- Botella B.
- Brain Martin
- Burdy L.
- Cadar C.
- Coen-Porisini A.
- Cousot P.
- Cousot P.
- Darulova E.
- Darulova E.
- Daumas M.
- Denmat T.
- Franco A. Di
- Fu Z.
- Godefroid P.
- Godefroid P.
- Gotlieb A.
- Gotlieb A.
- Goubault E.
- Goubault E.
- Harrison J.
- Hentenryck P. Van
- Hills Green
- Hills Green
- IEEE Computer Society
- IEEE Computer Society and The Open Group. 2013.
- International Organization for Standardization. 2011. ISO/IEC 9899:2011
- International Organization for Standardization. 2014. ISO/IEC 14882:2014(E)
- Lakhotia K.
- Lakhotia K.
- Lee W.
- Liew D.
- Magron V.
- Michel C.
- Miné A.
- Monniaux D.
- Moscato M.
- Muller J.-M.
- Semiconductor Fujitsu
- Sen K.
- Solovyev A.
- Stephens N.
- Wu X.
- Wu X.
- Young W. D.
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study