Formal verification of floating point trigonometric functions (2000)

by J Harrison
Venue:In: Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design