Proof engineering in the large: formal verification of Pentium®4 floating-point divider

✍ Scribed by Roope Kaivola; Katherine Kohatsu

• Book ID: 106245327
• Publisher: Springer
• Year: 2003
• Tongue: English
• Weight: 217 KB
• Volume: 4
• Category: Article
• ISSN: 1433-2779
• DOI: 10.1007/s10009-002-0081-6