Mercurial > hg > Papers > 2022 > matac-thesis

changeset 34:0fe24a54069b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author matac42 <matac@cr.ie.u-ryukyu.ac.jp>
date Sat, 29 Jan 2022 21:43:45 +0900
parents aec9ff16d13d
children ecbdcda618a4
files paper/thesis.pdf paper/thesis.tex
diffstat 2 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
Binary file paper/thesis.pdf has changed
--- a/paper/thesis.tex	Fri Jan 28 18:56:41 2022 +0900
+++ b/paper/thesis.tex	Sat Jan 29 21:43:45 2022 +0900
@@ -74,8 +74,9 @@
 また，RedBlackTreeを用いてinodeの仕組みを構築し，ls，cd，mkdirを作成するなどして，
 Unix Likeに構築することが出来た．
 
-信頼性については，定理証明やモデル検査を用いて保証を行うがファイルシステムの仕組みとして，
-非破壊的なTree編集により
+信頼性については，定理証明やモデル検査を用いて保証を行うが，
+非破壊的なTree編集によるdirectoryのバックアップやファイルのバックアップをファイルシステムに組み込むことでも
+信頼性の向上が期待できる．形式手法とファイルシステムの機能の両面で信頼性の向上が図れると考える．
 
 \chapter*{謝辞}