結果 : formal method of software engineering