Publisher
Springer Science and Business Media LLC
Reference65 articles.
1. Abdel-Hamid AT (2001) A hierarchical Verification of the IEEE-$$754$$ Table-driven Floating-point Exponential Function using HOL. PhD thesis, Concordia University
2. Akbarpour B, Dekdouk A, Tahar S (2002) Formalization of Cadence SPW Fixed-Point Arithmetic in HOL. In: Integrated Formal Methods. LNCS, vol. 2335, pp 185–204. Springer
3. Barnat J, Beran J, Brim L, Kratochvíla T, Ročkai P (2012) Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs. In: Formal Methods for Industrial Critical Systems. Springer, pp 78–92
4. Bentley B (2001) Validating the Intel Pentium 4 Microprocessor. In: Design Automation, pp 244–248
5. Berg C (2001) Formal Verification of an IEEE Floating Point Adder. Master’s Thesis, Saarland University, Germany