Scalable Techniques For Formal Verification by Sandip Ray