AN EFFICIENT VERIFICATION METHOD FOR PARALLEL AND DISTRIBUTED PROGRAMS

被引：5
|
作者：
KATZ, S
PELED, D
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 354卷
关键词：
D O I：
10.1007/BFb0013032
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：489 / 507
页数：19
相关论文
共 50 条
  • [1] Verification of parallel programs
    Saman, MY
    Evans, DJ
    [J]. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1995, 56 (1-2) : 23 - 37
  • [2] Efficient data race detection for distributed memory parallel programs
    Park, Chang-Seo
    Sen, Koushik
    Hargrove, Paul
    Iancu, Costin
    [J]. Proceedings of 2011 SC - International Conference for High Performance Computing, Networking, Storage and Analysis, 2011,
  • [3] Design and verification of parallel programs
    Wang, J
    Chi, XB
    [J]. DCABES 2004, Proceedings, Vols, 1 and 2, 2004, : 317 - 319
  • [4] FORMAL VERIFICATION OF PARALLEL PROGRAMS
    KELLER, RM
    [J]. COMMUNICATIONS OF THE ACM, 1976, 19 (07) : 371 - 384
  • [5] Model for parallel verification of programs
    He Pei
    Kang Lishan
    Li Qiongzhang
    [J]. SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 3, PROCEEDINGS, 2007, : 623 - +
  • [6] Verification of Distributed Quantum Programs
    Feng, Yuan
    Li, Sanjiang
    Ying, Mingsheng
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2022, 23 (03)
  • [7] Parallel and Distributed Methods in Verification
    Cerna, Ivana
    Haverkort, Boudewijn R.
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2011, 21 (01) : 1 - 3
  • [8] Verification Method of Asynchronously Communicating Programs Based on Basic Parallel Processes
    Zhao Y.
    Tan J.-H.
    Li G.-Q.
    [J]. Ruan Jian Xue Bao/Journal of Software, 2022, 33 (08): : 2782 - 2796
  • [9] STRUCTURING PARALLEL AND DISTRIBUTED PROGRAMS
    MAGEE, J
    DULAY, N
    KRAMER, J
    [J]. SOFTWARE ENGINEERING JOURNAL, 1993, 8 (02): : 73 - 82
  • [10] Visualization of parallel and distributed programs
    [J]. Zibarov, A. (zibarov.alexey@gmail.com), 1600, Begell House Inc. (21): : 1 - 4
12345