Comment by jaddood

Why not use formally-verified software?