Email Record: Scalable Techniques for Formal Verification /