There is a competitive advantage in CompCert[1]. However, that advantage is only of benefit in certain spaces. [1] http://compcert.inria.fr/ http://compcert.i

There is a competitive advantage in CompCert[1]. However, that advantage is only of benefit in certain spaces. [1] http://compcert.inria.fr/ http://compcert.inria.fr/