Scalable Techniques For Formal Verification door Sandip Ray