Hacker News new | ask | show | jobs
by rurban 2 days ago
We do have formally verifying C and C++ compilers already. cbmc and esbmc.