"Presumption about reliability of computers"
Anyone else get the sense that these were laws written without any input whatsoever from people who actually have working experience in complex systems?
I'm convinced that no moral software engineer would ever suggest a conviction on the presumption that the system is correct. At minimum you'd have to investigate.