All source code for important decisions should be open and be verified by different parties. Just as that for voting machines.