Zaslat SMS: Scalable Techniques for Formal Verification