Verifying Software Emulation of an Unsupported Hardware Instruction.

Samuel Gruetter, Thomas Bourgeat, Adam Chlipala

Browse the full ITP paper archive.