Slide 1 CLF: A Concurrent Logical Framework David Walker Princeton (with I. Cervesato, F. Pfenning, K. Watkins) Slide 2 2 Outline What is a logical framework? Logical frameworks…