Dynamic symbolic verification of MPI programs
From MaRDI portal
Publication:2024366
DOI10.1007/978-3-319-95582-7_28zbMATH Open1460.68029OpenAlexW2808769940MaRDI QIDQ2024366FDOQ2024366
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
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- TASS: the toolkit for accurate scientific software
- A high-performance, portable implementation of the MPI message passing interface standard
- Verification, Model Checking, and Abstract Interpretation
- Software Verification for Weak Memory via Program Transformation
- Trace-Based Symbolic Analysis for Atomicity Violations
- Symbolic predictive analysis for concurrent programs
- Deadlock detection in MPI programs
- 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
Cited In (5)
- MPI-CHECK: a tool for checking Fortran 90 MPI programs
- Unfolding-based dynamic partial order reduction of asynchronous distributed programs
- Going beyond dual execution: MPC for functions with efficient verification
- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings
- Verifying parallel programs with dynamic communication structures
This page was built for publication: Dynamic symbolic verification of MPI programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2024366)
