FORMAL VERIFICATION OF PARALLEL PROGRAMS

被引：368
|
作者：
KELLER, RM [1 ]
机构：
[1] PRINCETON UNIV,DEPT ELECT ENGN & COMP SCI,PRINCETON,NJ 08540
来源：
COMMUNICATIONS OF THE ACM | 1976年 / 19卷 / 07期
关键词：
D O I：
10.1145/360248.360251
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：371 / 384
页数：14
相关论文
共 50 条
  • [1] CIVL: Formal Verification of Parallel Programs
    Zheng, Manchun
    Rogers, Michael S.
    Luo, Ziqing
    Dwyer, Matthew B.
    Siegel, Stephen F.
    [J]. 2015 30TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2015, : 830 - 835
  • [2] Automatic Formal Verification of MPI-Based Parallel Programs
    Siegel, Stephen F.
    Zirkel, Timothy K.
    [J]. ACM SIGPLAN NOTICES, 2011, 46 (08) : 309 - 310
  • [3] Formal Verification of Programs in the Functional Data-flow Parallel Language
    Kropacheva, M. S.
    Legalov, A. I.
    [J]. AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2013, 47 (07) : 373 - 384
  • [4] Formal verification of PLC programs
    Rausch, M
    Krogh, BH
    [J]. PROCEEDINGS OF THE 1998 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 1998, : 234 - 238
  • [5] FORMAL VERIFICATION OF ADA PROGRAMS
    GUASPARI, D
    MARCEAU, C
    POLAK, W
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 1058 - 1075
  • [6] Formal Verification of Coarse-Grained Parallel Programs for Embedded Microelectronic Systems
    Pakharev, S. M.
    Syschikov, A. Y.
    [J]. 2018 WAVE ELECTRONICS AND ITS APPLICATION IN INFORMATION AND TELECOMMUNICATION SYSTEMS (WECONF), 2018,
  • [7] Verification of parallel programs
    Saman, MY
    Evans, DJ
    [J]. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1995, 56 (1-2) : 23 - 37
  • [8] Formal Verification of Practical MPI Programs
    Vo, Anh
    Vakkalanka, Sarvani
    DeLisi, Michael
    Gopalakrishnan, Ganesh
    Kirby, Robert M.
    Thakur, Rajeev
    [J]. ACM SIGPLAN NOTICES, 2009, 44 (04) : 261 - 269
  • [9] A Logic for Formal Verification of Quantum Programs
    Kakutani, Yoshihiko
    [J]. ADVANCES IN COMPUTER SCIENCE - ASIAN 2009: INFORMATION SECURITY AND PRIVACY, PROCEEDINGS, 2009, 5913 : 79 - 93
  • [10] Formal Verification of Spacecraft Control Programs
    Lukyanov, Georgy
    Mokhov, Andrey
    Lechner, Jakob
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2020, 19 (05)
12345