I would argue programs are impossible to prove correct, I would speculate it is related to the halting problem. That doesn't mean that in general the subsectio

I would argue programs are impossible to prove correct, I would speculate it is related to the halting problem. That doesn't mean that in general the subsections of it related to any specific court case isn't correct. Unfortunately disproving something is much much harder than proving something. Proving that there was a bug in a program is hard but proving that there isn't is nearly impossible and that is likely why the law is the way it is.