I'm not sure the history of software driven avionics and space accidents really support that as an argument for their safety?

written by trusted expert programmers.