Mercurial > hg > Papers > 2023 > soto-master

diff Paper/master_paper.tex @ 14:f52e5fd41f58

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add ref
author soto <soto@cr.ie.u-ryukyu.ac.jp>
date Wed, 01 Feb 2023 20:27:04 +0900
parents 62d87fdd7775
children f0d512637e52
line wrap: on
line diff
--- a/Paper/master_paper.tex	Tue Jan 31 16:31:53 2023 +0900
+++ b/Paper/master_paper.tex	Wed Feb 01 20:27:04 2023 +0900
@@ -129,7 +129,7 @@
 \input{tex/tree_desc.tex}% Gears Agda における木構造の設計
 
 \input{tex/spin_dpp.tex}% Gears Agda の記法　loopのやつやる
-% \input{tex/dpp_impl.tex}% Gears Agda の記法　loopのやつやる
+\input{tex/dpp_impl.tex}% Gears Agda の記法　loopのやつやる
 
 \chapter{まとめと今後の展望}
 本論文では Gears Agda による形式手法を用いたプログラムの検証について述べた。そこで、定理証明については Invariant を用いて定理証明を行った。モデル検査については Gears Agda にて dead lock を検知できるようになった。