Enviar aquest missatge de text: Methodologies for validating parallel programs