Dorian Daudier

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Formal Verification

Programming Language

Top Venues

Publications

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