Anfonwch hwn fel neges destun: Verifying multi-threaded software with impact