Vitalsource Technologies, Inc. Formal Methods: Foundations And Applications