The MPI correctness checking tool MUST is now available in version 1.9.0.
The new version improves support for MPI-4 functions and features as partitioned point-to-point communication. Further, MUST now can check for misusage of OpenMP in the context of MPI (e.g., wrong thread-level usage in MPI+OpenMP programs). Other changes include machine-readable error reporting in JSON format and report of MPI functions which are not analyzed by MUST. Find more information on the project page.
-
Submenu: Services
-
Submenu: Procurement & Software
-
Submenu: Research
-
Submenu: IT-Basic-Infrastructure
-
Submenu: IT Security
-
Submenu: Collaboration
-
Submenu: Server & Hosting
-
Submenu: Study & Teaching
-
Submenu: Support
-
-
Submenu: Research & Projects
-
Submenu: Research Focus
-
Submenu: Projects
-
-
Submenu: Career
-
Submenu: Working at IT Center
-
Submenu: Apprenticeship at IT Center
-
Submenu: MATSE Training
-
-
Submenu: IT Center
-
Submenu: News
-
Submenu: Dedication
-
Submenu: Profile
-
Submenu: Publications
-
Quick Access