Formal verification of a C compiler front-end (2006)

by Sandrine Blazy, Zaynah Dargaye, Xavier Leroy