Verifying MPI API Usage Requirements with Contracts

Lecture notes in computer science, pp. 54–72

Authors 6

1. Yussur Mustafa Oraji corresponding

   Technische Universität Darmstadt

   Affiliation as printed

   Scientific Computing, TU Darmstadt University, Darmstadt, Germany

2. Simon Schwitanski Aachen High Performance Computing

   RWTH Aachen University

   Affiliation as printed

   High Performance Computing, RWTH Aachen University, Aachen, Germany

3. Alexander Hück

   Technische Universität Darmstadt

   Affiliation as printed

   Scientific Computing, TU Darmstadt University, Darmstadt, Germany

4. Joachim Jenke Aachen High Performance Computing

   RWTH Aachen University

   Affiliation as printed

   High Performance Computing, RWTH Aachen University, Aachen, Germany

5. Sebastian Kreutzer

   Technische Universität Darmstadt

   Affiliation as printed

   Scientific Computing, TU Darmstadt University, Darmstadt, Germany

6. Christian H Bischof

   Technische Universität Darmstadt

   Affiliation as printed

   Scientific Computing, TU Darmstadt University, Darmstadt, Germany