Model Checking Nonblocking MPI Programs
From MaRDI portal
Publication:5452594
DOI10.1007/978-3-540-69738-1_3zbMath1132.68481OpenAlexW2103772961MaRDI QIDQ5452594
Publication date: 4 April 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-69738-1_3
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
System-level state equality detection for the formal dynamic verification of legacy distributed applications, Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API, TASS: the toolkit for accurate scientific software, A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs
Cites Work