Enviar aquest missatge de text: Scalable Techniques for Formal Verification