これは正式な検証の主な議論の1つでもあると思います それはツールというよりも、コードを理解するための厳密なプロセスにあります。