Code working is a very high bar. And the only way close for most projects is formal verification.