3 ms·formal verification? maybe theorem prover or hoare logic can come into play here.by xiaoyu2006 2mo agoformal verification? maybe theorem prover or hoare logic can come into play here.