J Strother Moore

• Formal Verification of Floating-Point Hardware Design
• Piton
• Computational logic