An Introduction to Proof-Carrying Code Peter Lee Carnegie Mellon University Lecture 1 October 29, 2001 ConCert Meeting Plan Today: Show and tell. Cartoons Some history Special…
