期刊文献+

基于时态逻辑演算的程序验证

VERIFICATION OF PROGRAMS ON THE BASIS OF TEMPORAL LOGIC CALCULUS
下载PDF
导出
摘要 本文建立了时态逻辑演算。在该演算系统下,若能证明一程序抽象成的时态逻辑公式是定理,则该程序是完全正确的。 Temporal logic calculu is established. The program is total correctenessif it can prove that the temporal logic formula from a program abstractingis a theorem in the system of the calculu.
作者 刘清
出处 《江西大学学报(自然科学版)》 1990年第3期1-8,共8页
关键词 演绎 时态逻辑 程序验证 不变式 deduction inveriant well-structure temporal logic
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部