> What's the better solution? IMO Writing correct software the first time around - so formal methods. But the tooling isn't there yet (though lightweight vers

> What's the better solution? IMO Writing correct software the first time around - so formal methods. But the tooling isn't there yet (though lightweight versions, e.g. strong type systems like rust's, are and significantly reduce the security issue load).