Contributor <Full Schedule · Contributors · Organizations · Search Program · My Schedule · Happening Now · MapsMore…Search ProgramMy ScheduleHappening NowMapsNiko SakicIT Center, RWTH Aachen UniversityPresentationsWorkshopToward Correctness Checking of MPI Partitioned Communication in MUST Applications Software Engineering W