Pātuhitia tēnei: Methodologies for validating parallel programs