不变式证明相关硕士博士期刊学术论文 - 信丰网

不变式证明相关论文

良基归纳法在时序逻辑程序不变式验证中的应用

并发程序的不变式验证对理解程序和提高程序的正确性具有重要意义。以一种区间时序逻辑程序设计语言Framed Tempura为研究对象，给出......

期刊

时序逻辑程序正则形良基关系良基归纳法不变式证明 Temporal logic programs Normal forms Well-founded r

看过本文同时还关注