أرسل هذا في رسالة قصيرة: Verifying multi-threaded software with impact