Vitalsource Technologies, Inc. Fm 2006: Formal Methods