ISP: A Tool for Model Checking MPI Programs

被引：45
|
作者：
Vakkalanka, Sarvani [1 ]
Sharma, Subodh [1 ]
Gopalakrishnan, Ganesh [1 ]
Kirby, Robert M. [1 ]
机构：
[1] Univ Utah, Sch Comp, Salt Lake City, UT 84112 USA
来源：
PPOPP'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING | 2008年
关键词：
MPI; Formal Verification; Model Checking; Dynamic Partial Order Reduction;
D O I：
10.1145/1345206.1345258
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：285 / 286
页数：2
相关论文
共 50 条
  • [1] Model checking nonblocking MPI programs
    Siegel, Stephen F.
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2007, 4349 : 44 - 58
  • [2] MPI-CHECK: a tool for checking Fortran 90 MPI programs
    Leucke, G
    Chen, H
    Coyle, J
    Hoekstra, J
    Kraeva, M
    Zou, Y
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2003, 15 (02): : 93 - 100
  • [3] Combining Symbolic Execution and Model Checking to Verify MPI Programs
    Yu, Hengbiao
    [J]. PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, 2018, : 527 - 529
  • [4] ISP Tool Update: Scalable MPI Verification
    Anh Vo
    Vakkalanka, Sarvani
    Gopalakrishnan, Ganesh
    [J]. TOOLS FOR HIGH PERFORMANCE COMPUTING 2009, 2010, : 175 - 184
  • [5] Verification of MPI Java']Java Programs using Software Model Checking
    Rehman, Waqas Ur
    Ayub, Muhammad Sohaib
    Siddiqui, Junaid Haroon
    [J]. ACM SIGPLAN NOTICES, 2016, 51 (08) : 413 - 414
  • [6] Practical model-checking method for verifying correctness of MPI programs
    Pervez, Salman
    Gopalakrishnan, Ganesh
    Kirby, Robert M.
    Palmer, Robert
    Thakur, Rajeev
    Gropp, William
    [J]. RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, 2007, 4757 : 344 - +
  • [7] MARMOT:: An MPI analysis and checking tool
    Krammer, B
    Bidmon, K
    Müller, MS
    Resch, MM
    [J]. PARALLEL COMPUTING: SOFTWARE TECHNOLOGY, ALGORITHMS, ARCHITECTURES AND APPLICATIONS, 2004, 13 : 493 - 500
  • [8] Experience Report: Verifying MPI Java Programs Using Software Model Checking
    [J]. 2017, IEEE Computer Society (2017-October):
  • [9] Experience Report: Verifying MPI Java']Java Programs using Software Model Checking
    Ayub, Muhammad Sohaib
    Rehman, Waqas Ur
    Siddiqui, Junaid Haroon
    [J]. 2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2017, : 294 - 304
  • [10] FocusCheck: A tool for model checking and debugging sequential C programs
    Keller, CW
    Saha, D
    Basu, S
    Smolka, SA
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2005, 3440 : 563 - 569
12345