--- a/slides/slides10.tex	Fri Dec 05 01:17:31 2014 +0000
+++ b/slides/slides10.tex	Mon Dec 08 07:14:28 2014 +0000
@@ -657,6 +657,7 @@
 \begin{itemize}
 \item model checking\medskip
 \item program logics (Hoare logics, separation logic)\medskip
+\item proof-carrying code\medskip
 \item specifications / correctness proofs
 \end{itemize}