Enviar aquest missatge de text: Model Checking Concurrent Linux Device Drivers