CAJ | 학술논문

调查研究了LSC在形式化验证方法中的作用的研究发展现状，包括LSC在从系统行为需求描述转换形成模型检验的系统行为模型中的作用的研究现状，LSC在抽取待验证系统性质的作用的研究现状，LSC在模型检验中的作用的研究现状，展望了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.