Procedures and documentation seem to work well for the aviation industry. Things will still go wrong, but only very rarely twice in the same way. It makes development a lot more expensive but it does work and probably is the only way that we are aware of right now that will get this done in a way that leads to acceptable outcomes.
This leads to glacial progress but I find that is preferable over the 'move fast and break shit' mentality that pervades the software industry.
I think that it leads to glacial progress only because it is done badly. (It is done badly pretty much everywhere). I'm trying to develop tooling to make developing safe software fast: https://github.com/wtpayne/hiai (Long way from being finished, unfortunately).
This leads to glacial progress but I find that is preferable over the 'move fast and break shit' mentality that pervades the software industry.