Vitalsource Technologies, Inc. Leveraging Applications of Formal Methods | Kaicus USA