Vitalsource Technologies, Inc. Fm 2012: Formal Methods