6 ms·Would formal verification be helpful in this situation?by pyuser583 7y agoWould formal verification be helpful in this situation?ska 7y agoHow? This is a question of policy, really.pyuser583 7y agoWhether or not a driver would find themselves in a situation where they would get a ticket despite following the law. Basically where they would have to run a red light.