I’m giving a talk in the Philosophy colloquium here at U. Iowa this afternoon, and I wanted to post a link to my slides, as well as links to some papers I reference:
- “Astree: From Research to Industry”, D. Delmas, J. Souyris, SAS 2007 (Springer).
- “seL4: Formal Verification of an OS Kernel”, G. Klein et al., SOSP 2009.
- “Formal Proof: The Four Color Theorem”, G. Gonthier, Notices of the AMS, 2005.
- “Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory“, R. Adams, Z. Luo, ACM TOCL, 2010.
- “Logical Frameworks — A Brief Introduction”, F. Pfenning, 2002.
- “Outline of a Theory of Truth”, Saul Kripke, Journal of Philosophy, 1975.