软件模型检测新技术研究  

New Approaches for Software Model-Checking

作　　者：化志章[1] 吴传孙[2] 揭安全[1] 薛锦云[1] 

机构地区：[1]江西省高性能计算技术重点实验室 [2]江西师范大学计算机信息工程学院,江西南昌330022

出　　处：《微计算机信息》2007年第36期250-251,311,共3页Control & Automation

基　　金：国家重大基础研究前期研究专项(973计划)(2003CCA02800);国家自然科学基金项目(60273092);江西省教育厅科技项目(2005-90)

摘　　要：软件模型检测以其潜在的商业价值一直为学术界和工业界关注.本文通过剖析模型检测工具SLAM,探讨软件模型检测的机理、方法及若干核心技术,并总结出软件模型检测的一些新策略.Software model-checking catches attentions of academia and industrial community for its latent trade value. By analyzing SLAM, some theories and key techniques for software model-checking are discussed, and some new strategies to optimize it are presented at last.

关 键 词：软件模型检测 形式验证 SLAM 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]