一种用于循环程序形式化验证的划分归纳方法

钟杨; 宋国新; 计春雷

钟杨, 宋国新, 计春雷. 一种用于循环程序形式化验证的划分归纳方法[J]. 华东理工大学学报（自然科学版）, 2008, (6).

引用本文:

钟杨, 宋国新, 计春雷. 一种用于循环程序形式化验证的划分归纳方法[J]. 华东理工大学学报（自然科学版）, 2008, (6).

ZHONG Yang, SONG Guo-xin, JI Chun-lei. A Partition Induction for the Formal Verification of Loop Programs[J]. Journal of East China University of Science and Technology, 2008, (6).

Citation:

ZHONG Yang, SONG Guo-xin, JI Chun-lei. A Partition Induction for the Formal Verification of Loop Programs[J]. Journal of East China University of Science and Technology, 2008, (6).

一种用于循环程序形式化验证的划分归纳方法

A Partition Induction for the Formal Verification of Loop Programs

摘要

摘要: 为了提高软件的可靠性,人们一直在形式化验证和软件测试两个方面进行不懈的努力.本文利用划分测试中的自动分割替代技术,针对循环程序的输入域,提出了一种划分算法,并在此算法的结果上建立一种划分归纳方法,它能简化循环程序的形式化验证过程.

HTML全文

参考文献(0)

资源附件(0)

/