Dynamic symbolic verification of MPI programs

DOI10.1007/978-3-319-95582-7_28zbMath1460.68029OpenAlexW2808769940MaRDI QIDQ2024366

César Rodríguez, Dhriti Khanna, Subodh Sharma, Rahul Purandare

Publication date: 4 May 2021

Full work available at URL: https://doi.org/10.1007/978-3-319-95582-7_28

zbMATH Keywords

symbolic analysisdeadlock detectionmessage-passing interfacedynamic verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Unfolding-based dynamic partial order reduction of asynchronous distributed programs

Cites Work

• Symbolic predictive analysis for concurrent programs
• A high-performance, portable implementation of the MPI message passing interface standard
• TASS: the toolkit for accurate scientific software
• FEVS: a functional equivalence verification suite for high-performance scientific computing
• State-space reduction of non-deterministically synchronizing systems applicable to deadlock detection in MPI
• Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings
• Trace-Based Symbolic Analysis for Atomicity Violations
• Deadlock detection in MPI programs
• Software Verification for Weak Memory via Program Transformation
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Dynamic symbolic verification of MPI programs