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.
CITATION STYLE
Zakharov, I. (2018). A survey of high-performance computing for software verification. In Communications in Computer and Information Science (Vol. 779, pp. 196–208). Springer Verlag. https://doi.org/10.1007/978-3-319-71734-0_17
Mendeley helps you to discover research relevant for your work.