The Cmmtest bug-hunting tool.
The CompCertTSO compiler.
Ott, Tool support for semantics.
Lem, a tool for lightweight executable mathematics.