A Survey of High-Performance Computing for Software Verification

被引：2
|
作者：
Zakharov, Ilja [1 ]
机构：
[1] Russian Acad Sci, Inst Syst Programming, Moscow, Russia
来源：
TOOLS AND METHODS OF PROGRAM ANALYSIS | 2018年 / 779卷
关键词：
Software verification; Cloud computing; Multi-threaded computing; GPU computing; Scalability; MODEL-CHECKING ALGORITHMS; PARTIAL-ORDER REDUCTION;
D O I：
10.1007/978-3-319-71734-0_17
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Automatic software verification is a high-demanded method for software quality assurance since it allows to prove the correctness of programs formally. However, any precise software verification technique requires a considerable amount of computational resources like memory and CPU time. Existing hardware architectures like multi-core CPUs distributed systems, clouds and GPUs can impressively boost verification performance. Developers of verification tools have to adapt their algorithms to modern hardware peculiarities for its productive employment. In the survey, we consider case studies of high-performance computing for speeding up and scaling verification of programs and program models.
引用
收藏
页码：196 / 208
页数：13
相关论文
共 50 条
  • [41] Trends in high-performance computing
    Dongarra, J
    [J]. IEEE CIRCUITS & DEVICES, 2006, 22 (01): : 22 - 27
  • [42] Productivity in high-performance computing
    Sterling, Thomas
    Dekate, Chirag
    [J]. ADVANCES IN COMPUTERS, VOL 72: HIGH PERFORMANCE COMPUTING, 2008, 72 : 101 - 134
  • [43] High-performance computing - An overview
    Marksteiner, P
    [J]. COMPUTER PHYSICS COMMUNICATIONS, 1996, 97 (1-2) : 16 - 35
  • [44] HIGH-PERFORMANCE DISTRIBUTED COMPUTING
    RAGHAVENDRA, CS
    [J]. CONCURRENCY-PRACTICE AND EXPERIENCE, 1994, 6 (04): : 231 - 233
  • [45] High-Performance Computing with TeraStat
    Bompiani, Edoardo
    Petrillo, Umberto Ferraro
    Lasinio, Giovanna Jona
    Palini, Francesco
    [J]. 2020 IEEE INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, INTL CONF ON CLOUD AND BIG DATA COMPUTING, INTL CONF ON CYBER SCIENCE AND TECHNOLOGY CONGRESS (DASC/PICOM/CBDCOM/CYBERSCITECH), 2020, : 499 - 506
  • [46] High-performance computing in industry
    Strohmaier, E
    Dongarra, JJ
    Meuer, HW
    Simon, HD
    [J]. SUPERCOMPUTER, 1997, 13 (01): : 74 - 88
  • [47] The marketplace of high-performance computing
    Strohmaier, E
    Dongarra, JJ
    Meuer, HW
    Simon, HD
    [J]. PARALLEL COMPUTING, 1999, 25 (13-14) : 1517 - 1544
  • [48] Optical high-performance computing
    Fisk University, Nashville, TN, United States
    不详
    不详
    [J]. Journal of the Optical Society of America A: Optics and Image Science, and Vision, 2008, 25 (09):
  • [49] High-Performance Computing for Defense
    Davis, Larry P.
    Henry, Cray J.
    Campbell, Roy L., Jr.
    Ward, William A., Jr.
    [J]. COMPUTING IN SCIENCE & ENGINEERING, 2007, 9 (06) : 35 - 44
  • [50] The high-performance computing continuum
    Karin, S
    Graham, S
    [J]. COMMUNICATIONS OF THE ACM, 1998, 41 (11) : 32 - 35
12345