Dynamic symbolic verification of MPI programs
type: Item
instance of: scholarly article
title: Dynamic symbolic verification of MPI programs
zbMATH Open document ID: 1460.68029
DOI: 10.1007/978-3-319-95582-7_28
author: Dhriti Khanna
author: Subodh Sharma
author: César Rodríguez
author: Rahul Purandare
publication date: 2021-05-04T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 7343228
zbMATH Keywords: dynamic verification
zbMATH Keywords: message-passing interface
zbMATH Keywords: deadlock detection
zbMATH Keywords: symbolic analysis
MaRDI profile type: Publication
full work available at URL: 978-3-319-95582-7 28
OpenAlex ID: W2808769940
cites work: Software Verification for Weak Memory via Program Transformation
cites work: State-space reduction of non-deterministically synchronizing systems applicable to deadlock detection in MPI
cites work: A high-performance, portable implementation of the MPI message passing interface standard
cites work: Deadlock detection in MPI programs
cites work: Verification, Model Checking, and Abstract Interpretation
cites work: FEVS: a functional equivalence verification suite for high-performance scientific computing
cites work: TASS: the toolkit for accurate scientific software
cites work: Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings
cites work: Symbolic predictive analysis for concurrent programs
cites work: Trace-Based Symbolic Analysis for Atomicity Violations
description: scientific article; zbMATH DE number 7343228