أرسل هذا في رسالة قصيرة: Methodologies for validating parallel programs