Samuel Pollard

Verification Techniques for Low-Level Programs

Introduction to Floating-Point Error Analysis

Techniques for Verifying the Correctness of Assembly Languages and Floating-Point Programs

Verification Techniques for Low-Level Programs