equal
deleted
inserted
replaced
1330 |
1330 |
1331 \end{frame}} |
1331 \end{frame}} |
1332 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1332 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1333 % |
1333 % |
1334 |
1334 |
|
1335 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
1336 \mode<presentation>{ |
|
1337 \begin{frame}[c] |
|
1338 \frametitle{Point to Take Home} |
|
1339 |
|
1340 \begin{itemize} |
|
1341 \item Formal methods can be an excellent way of finding |
|
1342 bugs as they force the designer |
|
1343 to make everything explicit and thus confront difficult design |
|
1344 choices that might otherwise be fudged. |
|
1345 \end{itemize} |
|
1346 |
|
1347 \end{frame}} |
|
1348 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
1349 |
1335 \end{document} |
1350 \end{document} |
1336 |
1351 |
1337 %%% Local Variables: |
1352 %%% Local Variables: |
1338 %%% mode: latex |
1353 %%% mode: latex |
1339 %%% TeX-master: t |
1354 %%% TeX-master: t |