McDASH: Refinement-based property verfication for machine code

• POPL'10 Timing Results
• Latest Timing Results
• Links to examples used in evaluation