基于LSC的形式化验证方法

Formal Verification Method Based on LSC

调查研究了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.