結果 : formal verification of code