Formal verification of object layout for C++

by Tahina Ramananandro , Gabriel Dos Reis , Xavier Leroy