أرسل هذا في رسالة قصيرة: Effective verification for low-level software with competing interrupts