Vitalsource Technologies, Inc. Software Engineering and Formal Methods