True trustworthiness can only be achieved through mathematical proof of the relevant properties.
Real-world software systems are far too complex to make their formal verification tractable in the foreseeable future.