Incentivization and transparency combined is also a good method, which should be applied when possible in addition to other methods. So in case it is possible,

Incentivization and transparency combined is also a good method, which should be applied when possible in addition to other methods. So in case it is possible, safety-critical code should be open source, and there should be very high rewards for detecting serious issues.