Our work in the transportation law field has given us perspective on the kind of problems that need to be solved to develop 100-reliable software for Law applications. Formal verification is the main technical methodology, yet it is not enough by itself in this field, since the behavior of the software must be not just properly specified, but also accessible and understandable for enforcement agencies and citizens.