Anfonwch hwn fel neges destun: Methodologies for validating parallel programs