Enviar aquest missatge de text: Formal Co-Validation of Low-Level Hardware/Software Interfaces