Үүнийг мессежээр илгээх: Methodologies for validating parallel programs