שליחה במסרון: Methodologies for validating parallel programs