A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs

DOI10.18255/1818-1015-2021-4-394-412OpenAlexW4200299094MaRDI QIDQ5870863

A. M. Mironov

Publication date: 24 January 2023

Published in: Modeling and Analysis of Information Systems (Search for Journal in Brave)

Full work available at URL: http://mathnet.ru/eng/mais759

zbMATH Keywords

verificationMPIparallel programsdistributed processes

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings
• Abstract state machines capture parallel algorithms
• Model Checking Nonblocking MPI Programs

This page was built for publication: A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs