結果 : formal method in software engineering