Wyślij wiadomość: Methodologies for validating parallel programs