程序的部分正确性相关硕士博士期刊学术论文 - 搜论网

程序的部分正确性相关论文

关于程序正确性证明的进一步探讨

本文介绍了什么是程序的完全正确性、部分正确性、终止性,并通过实例,介绍了利用不变式断言法和计数器方法分别证明程序的部分正确......

期刊

程序的正确性程序的部分正确性程序的终止性不变式断言法计数器方法检验条件程序正确性证明终止性完全正计数器 Correctness of prog

看过本文同时还关注