Publications

Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic

• • Randal E. Bryant
  • Steven German
  • et al.
• 2001
• ACM TOCL