《表1 实验对比结果：一种命题投影时序逻辑的分布式模型检测方法》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《一种命题投影时序逻辑的分布式模型检测方法》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

实验使用4台Windows10 64位操作系统，8GB内存，i5-7500UCPU的计算机搭建命题投影时序逻辑分布式模型检测平台，使用C++语言实现了命题投影时序逻辑分布式模型检测算法和模型检测工具，并通过信息传递接口（Message Passing Interface，MPI）实现计算机之间的通信，以待验证系统的程序层次语法图模型和验证性质的命题投影时序逻辑公式作为实验输入。针对农夫过河、哲学家就餐和青蛙换位的经典问题，命题投影时序逻辑模型检测的分布式方法和单机方法比较实验的结果如表1所示。