基于LSC的形式化验证方法  

Formal Verification Method Based on LSC

作　　者：许明[1] 开金宇[2,3] 

机构地区：[1]厦门理工学院计算机与信息工程学院,福建厦门361024 [2]安阳师范学院计算机与信息工程学院,河南安阳455000 [3]上海大学计算机与信息工程学院,上海200027

出　　处：《邵阳学院学报（自然科学版）》2014年第4期6-11,共6页Journal of Shaoyang University：Natural Science Edition

基　　金：厦门市科技计划项目(3502Z20133043)

摘　　要：调查研究了LSC在形式化验证方法中的作用的研究发展现状,包括LSC在从系统行为需求描述转换形成模型检验的系统行为模型中的作用的研究现状,LSC在抽取待验证系统性质的作用的研究现状,LSC在模型检验中的作用的研究现状,展望了LSC在未来模型检验中的发展方向——概率模型检验.The status of research and development LSC role in formal verification methods was studied,including the status of research LSC role in the conversion from the behavior of the system requirements describe the formation of model checking of system behavior model,LSC in the nature of the extraction system to be verified study the role of the status quo,the status quo LSC role in the study of model checking. Forecasted the direction of the LSC model checking in the future———probabilistic model test.

关 键 词：形式化验证技术 模型检验 LSC 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]