Deductive Verification of Pipelined Machines Using First-Order Quantification.

Sandip Ray, Warren A. Hunt Jr.

Browse the full CAV paper archive.