Enviar aquest missatge de text: A Survey of Automated Techniques for Formal Software Verification.