661 \frametitle{9th Lecture}

   661 \frametitle{9th Lecture}

   662 

   662 

   663 \begin{itemize}

   663 \begin{itemize}

   664 \item model checking\medskip

   664 \item model checking\medskip

   665 \item program logics (Hoare logics, separation logic)\medskip

   665 \item program logics (Hoare logics, separation logic)\medskip

   666 \item specifications / correctness proofs

   667 \item specifications / correctness proofs

   667 \end{itemize}

   668 \end{itemize}

   668 

   669 

   669 \end{frame}

   670 \end{frame}

   670 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  

   671 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%