Enviar aquest missatge de text: Precise verification of C programs