أرسل هذا في رسالة قصيرة: Scalable Techniques for Formal Verification