Formally Verified Quite OK Image Format.

Mario Bucev, Viktor Kuncak

Browse the full FMCAD paper archive.