For most applications, developing quickly is more valuable than correctness. That is why formal methods will likely never have widespread adoption. As for law,

For most applications, developing quickly is more valuable than correctness. That is why formal methods will likely never have widespread adoption. As for law, a judge always makes the final decision and they are not a formal method. It doesn't matter how tightly the law is worded if a judge is in the loop evaluating intangibles like intent.