A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler. - Dorian Daudier; Trinh Ngoc Quoc Bao; Kazuhiro Ogata 001 (SOFL+MSVL, 2017)