Symbolic verification of MPI programs with non-deterministic synchronizations

DOI10.1007/978-3-030-62822-2_10zbMath1503.68187OpenAlexW3106072295MaRDI QIDQ2169119

Chun Huang, Hengbiao Yu, Zhenbang Chen, 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)

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