The Compcert verified compiler. http://compcert.inria.fr/doc/index.html (2009)

by X Leroy