数字技术与应用
數字技術與應用
수자기술여응용
DIGITAL TECHNOLOGY AND APPLICATION
2009年
1期
40-41
,共2页
合成规则%程序正确性证明%初始断言%终结断言
閤成規則%程序正確性證明%初始斷言%終結斷言
합성규칙%정서정학성증명%초시단언%종결단언
本文将讨论用来证明程序正确性的一些概念和方法,把逻辑规则,证明技术以及算法的概念联系在一起,应用合成规则对程序验证领域给予了粗略的探讨.
本文將討論用來證明程序正確性的一些概唸和方法,把邏輯規則,證明技術以及算法的概唸聯繫在一起,應用閤成規則對程序驗證領域給予瞭粗略的探討.
본문장토론용래증명정서정학성적일사개념화방법,파라집규칙,증명기술이급산법적개념련계재일기,응용합성규칙대정서험증영역급여료조략적탐토.