CompCert, a verified (optimizing) C compiler for embedded systems.compcert.inria.fr2 pointsthesz16 years ago