Symbolic verification of MPI programs with non-deterministic synchronizations

DOI10.1007/978-3-030-62822-2_10MaRDI QIDQ2169119zbMATH OpenOpenAlexFDO

Authors Hengbiao Yu, Zhenbang Chen, Chun Huang, Ji Wang

Publication date 1 September 2022

Full work available at URL https://doi.org/10.1007/978-3-030-62822-2_10

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Dynamic symbolic verification of MPI programs
• Model Checking Nonblocking MPI Programs
• Verification, Model Checking, and Abstract Interpretation
• Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings
• State-space reduction of non-deterministically synchronizing systems applicable to deadlock detection in MPI

Cited in

(6)

• Dynamic symbolic verification of MPI programs
• 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
• Model Checking Software
• Model Checking Nonblocking MPI Programs
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Symbolic verification of MPI programs with non-deterministic synchronizations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2169119)