Transcript Specification and Verification in Introductory Computer Science Frank Pfenning Carnegie Mellon University MSR-CMU Center for Computational Thinking May 14, 2012 www.cs.cmu.edu/~fp/courses/15122 c0.typesafety.net Principal Contributors: Rob Arnold, Tom Cortina,