Enviar aquest missatge de text: A widening approach to multithreaded program verification