Vitalsource Technologies, Inc. Provably Correct Systems