高技术通讯2019，Vol.29Issue(6)：556-563,8.DOI:10.3772/j.issn.1002-0470.2019.06.005
基于最弱前置条件的程序正确性分析
Program correctness analysis based on the weakest preconditions
摘要
关键词
程序正确性/最弱前置条件/静态分析/路径扩展/程序切片技术引用本文复制引用
郭莎莎,侯春燕,王劲松..基于最弱前置条件的程序正确性分析[J].高技术通讯,2019,29(6):556-563,8.基金项目
国家自然基金(61402333,61272450),天津市自然科学基金(18JCZDJC30700) 和赛尔网络下一代互联网技术创新项目(NGII20160121)资助. （61402333,61272450）
