首页> 外文OA文献 >Practical Model Checking Method for Verifying Correctness of MPI Programs

【2h】

Practical Model Checking Method for Verifying Correctness of MPI Programs

机译：验证MPI程序正确性的实用模型检查方法

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Salman Pervez; Ganesh Gopalakrishnan; Robert M. Kirby; Robert Palmer; Rajeev Thakur;
展开▼
作者单位

展开▼
年度 2007
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Verification of MPI Java Programs using Software Model Checking [J] . Rehman Waqas Ur, Ayub Muhammad Sohaib, Siddiqui Junaid Haroon ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2016,第8期

机译：使用软件模型检查来验证MPI Java程序
2. Formal Verification of Practical MPI Programs [J] . Vo A, Vakkalanka S, DeLisi M, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2009,第4期

机译：实用MPI程序的形式验证
3. Synthesizing, correcting and improving code, using model checking-based genetic programming [J] . Katz Gal, Peled Doron A. International Journal on Software Tools for Technology Transfer . 2017,第4期

机译：使用基于模型检查的遗传编程来合成，纠正和改进代码
4. Practical Model-Checking Method for Verifying Correctness of MPI Programs [C] . Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, European PVM/MPI Users, Group Meeting; 20070930-1003; Paris(FR) . 2007

机译：验证MPI程序正确性的实用模型检查方法
5. Scalable formal dynamic verification of MPI programs through distributed causality tracking. [D] . Vo, Anh. 2011

机译：通过分布式因果关系跟踪对MPI程序进行可扩展的形式化动态验证。
6. A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking [O] . Ovidiu Pârvu, David Gilbert -1

机译：多尺度时空元模型检查验证生物系统多级计算模型的新方法
7. Automated Correctness Analysis of MPI Programs with Intel Message Checker [O] . Samofalov V., Krukov V., Kuhn B., 2006

机译：使用Intel Message Checker对MPI程序进行自动正确性分析
8. Practical Formal Verification of Diagnosability of Large Models via Symbolic Model Checking [R] . Cavada, R. , Pecheur, C. 2003

机译：基于符号模型检验的大型模型可诊断性实用形式验证

Practical Model Checking Method for Verifying Correctness of MPI Programs

著录项

引文网络

相似文献

相关主题

期刊订阅