Scalable Formal Verification Techniques by Vitalsource Technologies, Inc