Dorian Daudier, Trinh Ngoc Quoc Bao, Kazuhiro Ogata 0001. A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler. In Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan, editors, Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers. Volume 10795 of Lecture Notes in Computer Science, pages 200-217, Springer, 2017. [doi]
Abstract is missing.