基于环境的软件近似正确性

书籍简介:

本书基于进程代数理论中的通信系统演算（CCS）模型对软件的近似正确性进行了形式化描述和度量。从接受和拒绝环境角度，以参数化互模拟和三分之二互模拟为基础，建立了参数化互模拟和三分之二互模拟的无限演化理论及拓扑理论，建立了近似的参数化互模拟和近似的三分之二互模拟理论。为了描述带有概率信息软件系统的近似正确性，建立了概率化参数互模拟及确定性概率进程近似互模拟的无限演化及其拓扑结构。

书籍规格:

书籍信息归属:

基于环境的软件近似正确性是中国科学技术大学出版社于2016.11出版的中图分类号为 TP311.1 的主题关于 程序正确性证明 的书籍。