Vitalsource Technologies, Inc. Symbolic Simulation Methods For Industrial Formal Verification