断言-相容模型检测,陈振宇,丁德成,过去二十年,模型检测已经成为最有前景和最为强大的自动验证方法之一。本文阐述了一种称为AC(断言-相容)模型检测的新方法,对�