Mercurial > hg > Papers > 2021 > soto-thesis

diff paper/tex/hoare.tex @ 11:1cde48f23236

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
FIN proto
author soto <soto@cr.ie.u-ryukyu.ac.jp>
date Mon, 15 Feb 2021 03:51:35 +0900
parents bf1f62556b81
children
line wrap: on
line diff
--- a/paper/tex/hoare.tex	Sun Feb 14 21:23:12 2021 +0900
+++ b/paper/tex/hoare.tex	Mon Feb 15 03:51:35 2021 +0900
@@ -34,6 +34,7 @@
   \label{hoare}
 \end{figure}
 
+\begin{comment}
 \section{CbCでの Hoare Logic を用いた検証}
 先行研究で行われている While Loop の Hoare Logic での検証を元に、
 実際の Hoare Logic を用いた検証手法について解説する。
@@ -51,5 +52,6 @@
 % Meta Data Gearのソースコードを貼る
 
 s1 が初期状態、
+\end{comment}