أرسل هذا في رسالة قصيرة: Formal Co-Validation of Low-Level Hardware/Software Interfaces