关于“形式化方法”概念的说明，很易于理解。对刚接触形式化方法的人很有帮助。