关于形式化理论的权威综述,来自cmu的clarke和wing,非常简易有兴趣的同学看看