计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2010年
7期
2414-2420
,共7页
属性规约语言%基于断言的验证%形式化验证%运行时验证
屬性規約語言%基于斷言的驗證%形式化驗證%運行時驗證
속성규약어언%기우단언적험증%형식화험증%운행시험증
在简要介绍PSL的分层结构和语法与语义基础上,综述了PSL验证技术的应用研究现状,分析了各种方法、技术的优缺点,最后指出了PSL验证技术的未来研究展望.
在簡要介紹PSL的分層結構和語法與語義基礎上,綜述瞭PSL驗證技術的應用研究現狀,分析瞭各種方法、技術的優缺點,最後指齣瞭PSL驗證技術的未來研究展望.
재간요개소PSL적분층결구화어법여어의기출상,종술료PSL험증기술적응용연구현상,분석료각충방법、기술적우결점,최후지출료PSL험증기술적미래연구전망.
