%0 Journal Article
%T 模型检验综述
%A 王蓁蓁？
%J 计算机科学
%D 2013
%X 在软硬件验证里,模型检验是一个重要手段,至今它已经形成一个庞大的方法论体系。现在我们把模型检验内容从标准方法、抽象解释方法、综合方法3个范畴加以介绍,旨在形成人们对模型检验总的印象,从而全面理解和掌握模型检验各个方法的精神实质和具体情况,有助于将这些方法运用到实际软硬件验证中并从中受到启发,以便进一步发展模型检验理论或开发模型检验新的方法和工具。
%K 时态逻辑
%K 模型检验
%K 抽象解释
%K 抽象模型检验
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20136A001&flag=1