Relational Hoare Logic for Realistically Modelled Machine Code.

Denis Mazzucato, Abdalrhman Mohamed, Juneyoung Lee, Clark W. Barrett, Jim Grundy, John Harrison, Corina S. Pasareanu

Browse the full CAV paper archive.