图书介绍

基于环境的软件近似正确性2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

基于环境的软件近似正确性
  • 马艳芳著 著
  • 出版社： 合肥：中国科学技术大学出版社
  • ISBN：9787312041020
  • 出版时间：2017
  • 标注页数：132页
  • 文件大小：19MB
  • 文件页数：141页
  • 主题词：程序正确性证明

PDF下载


点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢]  [在线试读本书]   [在线获取解压码]
点击复制MD5值：a8b38978c7fe58af59dc5cc70d49ad2e

下载说明

基于环境的软件近似正确性PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载  详情点击-查看共享计划
建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

第1章 引言1

1.1 软件正确性及其意义1

1.2 研究现状5

1.3 内容安排9

第2章 基础知识10

2.1 进程演算（CCS）基础10

2.2 三分之二互模拟15

2.3 参数化互模拟17

2.4 定向集及其性质20

第3章 三分之二互模拟无限演化与拓扑22

3.1 引言22

3.2 三分之二互模拟的无限演化23

3.2.1 三分之二极限互模拟24

3.2.2 三分之二极限互模拟的拓扑结构25

3.3 三分之二互模拟极限30

3.3.1 三分之二互模拟极限30

3.3.2 三分之二互模拟极限的拟同余性34

3.4 三分之二互模拟拓扑37

第4章 进程之间近似程度的度量模型41

4.1 引言41

4.2 λ-三分之二互模拟及其性质42

4.2.1 三分之二互模拟索引42

4.2.2 λ-三分之二互模拟45

4.3 λ-三分之二互模拟等价的模态逻辑刻画48

4.4 基于三分之二互模拟的静态近似正确性量化模型52

第5章 参数化互模拟无限演化与拓扑59

5.1 引言59

5.2 参数化互模拟的无限演化60

5.2.1 参数化极限互模拟61

5.2.2 参数化极限互模拟的拓扑结构64

5.3 参数化互模拟极限69

5.4 参数化互模拟拓扑75

5.4.1 收敛类75

5.4.2 参数化互模拟拓扑77

第6章 近似的参数化互模拟81

6.1 引言81

6.2 参数化互模拟索引82

6.3 λ-参数化互模拟86

6.4 在环境e下λ-参数化互模拟的同余性89

第7章 概率化参数互模拟92

7.1 引言92

7.2 概率化参数互模拟93

7.3 近似的概率化参数互模拟98

第8章 概率进程近似互模拟的无限演化及拓扑结构102

8.1 引言102

8.2 ？-互模拟的无限演化103

8.3 ？-互模拟极限106

8.4 ？-极限互模拟的拓扑结构113

8.4.1 尾闭包113

8.4.2 自然延拓114

8.4.3 复合结构115

第9章 总结与展望121

符号索引123

参考文献124

热门推荐