4 ms·We do have formally verifying C and C++ compilers already. cbmc and esbmc.by rurban 3mo agoWe do have formally verifying C and C++ compilers already. cbmc and esbmc.