循环终止相关硕士博士期刊学术论文 - 信丰网

循环终止相关论文

循环条件的形式化推导在程序验证中的应用

提出了一种求解命令式程序中循环执行和终止条件的方法。该方法基于循环代码本身进行循环执行和终止条件的分析推导,可以定义一个......

期刊

循环执行循环终止形式化方法自动化程序验证缺陷修正 loop progress loop termination formal method autom

看过本文同时还关注