| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | PVM并行程序验证系统的原理与实现 |
| 作者 | 张兆庆1) 蒋昌俊2) 乔如良 1) 叶志宝1) 周 杰1) |
| 作者单位 | 1)(中国科学院计算技术研究所 北京 100080) 2)(山东矿业学院计算机系 泰安 271019) |
| 发表年份 | 1999 |
| 发表月份 | 4期 （页码：409—414) |
| 文章摘要 | 本文主要介绍PVM并行程序验证系统的基本原理和实现技术.首先,我们扼要分析PVM程序的构成与特点;然后阐述验证系统的理论模型和验证算法;最后,讨论开发过程中的若干关键技术.本系统的研制可为并行程序的自动转换和分析验证提供一个可视化的运行环境,具有重要的理论意义和实用价值. 关键词 PVM程序,Petri网,通信流图,并行程序验证. |