Scalable Techniques for Formal Verification