Intel's Formal Verification Experience on the Willamette Development

• Authors:

• Robert P. Colwell;Bob Brennan

• Affiliations:

• -;-

• Venue:
• TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
• Year:
• 2000