IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL.

Matt Griffin, Brijesh Dongol, Azalea Raad

Browse the full ECOOP paper archive.