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 条
  • [1] A survey of software techniques to emulate heterogeneous memory systems in high-performance computing
    Foyer, Clement
    Goglin, Brice
    Proano, Andres Rubio
    [J]. PARALLEL COMPUTING, 2023, 116
  • [2] The Form of High-Performance Computing: A Survey
    Assiroj, Priati
    Warnars, H. L. H. S.
    Kosala, R.
    Ranti, B.
    Supangat, S.
    Kistijantoro, A., I
    Abdurrachman, E.
    [J]. 2ND INTERNATIONAL CONFERENCE ON INFORMATICS, ENGINEERING, SCIENCE, AND TECHNOLOGY (INCITEST 2019), 2019, 662
  • [3] Software Systems for High-performance Quantum Computing
    Humble, Travis S.
    Britt, Keith A.
    [J]. 2016 IEEE HIGH PERFORMANCE EXTREME COMPUTING CONFERENCE (HPEC), 2016,
  • [4] A Survey of Communication Performance Models for High-Performance Computing
    Rico-Gallego, Juan A.
    Diaz-Martin, Juan C.
    Manumachu, Ravi Reddy
    Lastovetsky, Alexey L.
    [J]. ACM COMPUTING SURVEYS, 2019, 51 (06) : 1 - 36
  • [5] A survey of high-performance computing scaling challenges
    Geist, Al
    Reed, Daniel A.
    [J]. INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, 2017, 31 (01): : 104 - 113
  • [6] Web Portals for High-performance Computing: A Survey
    Calegari, Patrice
    Levrier, Marc
    Balczynski, Pawel
    [J]. ACM TRANSACTIONS ON THE WEB, 2019, 13 (01)
  • [7] A Survey Of High-performance Computing Approaches in Power Systems
    Khaitan, Siddhartha Kumar
    [J]. 2016 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING (PESGM), 2016,
  • [8] A Multi-Kernel Survey for High-Performance Computing
    Gerofi, Balazs
    Ishikawa, Yutaka
    Riesen, Rolf
    Wisniewski, Robert W.
    Park, Yoonho
    Rosenburg, Bryan
    [J]. PROCEEDINGS OF THE 6TH INTERNATIONAL WORKSHOP ON RUNTIME AND OPERATING SYSTEMS FOR SUPERCOMPUTERS, (ROSS 2016), 2016,
  • [9] A Survey on Malleability Solutions for High-Performance Distributed Computing
    Aliaga, Jose, I
    Castillo, Maribel
    Iserte, Sergio
    Martin-Alvarez, Iker
    Mayo, Rafael
    [J]. APPLIED SCIENCES-BASEL, 2022, 12 (10):
  • [10] Software approaches for resilience of high performance computing systems:a survey
    Jie JIA
    Yi LIU
    Guozhen ZHANG
    Yulin GAO
    Depei QIAN
    [J]. Frontiers of Computer Science., 2023, 17 (04) - 60
12345