Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API

DOI10.1016/j.scico.2010.03.007zbMath1209.68111OpenAlexW2166772522MaRDI QIDQ617917

Sumit K. Garg

Publication date: 14 January 2011

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2010.03.007

zbMATH Keywords

MPIformal specificationmodel checkingTLA+

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API

Uses Software

• Alloy
• SPIN
• TLA
• ISP
• MPI/MPICH
• Maude
• Gauss
• Alcoa
• SpecExplorer
• OpenMPI
• Intel TBB

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API
• A high-performance, portable implementation of the MPI message passing interface standard
• High performance RDMA-based MPI implementation over InfiniBand
• Formal verification of square root algorithms
• Implementing dataflow with threads
• Model Checking Nonblocking MPI Programs
• FM 2005: Formal Methods

This page was built for publication: Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API