Mercurial > hg > Document > Growi
changeset 120:d03247694a4b
backup 2023-05-09
| author | autobackup |
|---|---|
| date | Tue, 09 May 2023 00:10:03 +0900 |
| parents | 254063df7e73 |
| children | 6138bdc8f9dc |
| files | user/Moririn/メモ/2023/04/24.md |
| diffstat | 1 files changed, 2 insertions(+), 2 deletions(-) [+] |
line wrap: on
line diff
--- a/user/Moririn/メモ/2023/04/24.md Tue May 02 00:10:03 2023 +0900 +++ b/user/Moririn/メモ/2023/04/24.md Tue May 09 00:10:03 2023 +0900 @@ -1,7 +1,7 @@ # 研究目的 -OS を 含 む ア プ リ ケ ー シ ョ ン は 、高 い 信 頼 性 を 持 つ こ と が 望 ま し い 。当 研 究 室 で は 、 -CbC(Continuation based C) を採用した GearsOS を開発しており、信頼性を高めることが現在 +OSを含むアプリケーションは、高い信頼性を持つことが望ましい。 +当研究室では、CbC(Continuation based C)を採用した GearsOS を開発しており、信頼性を高めることが現在 の課題である。信頼性を高める手法として、テストやモデル検査などが考えられるが、数学的な証 明を行うことでも信頼性を上げることができる。ここでは、GearsAgda を用いた検証を行うこと で、信頼性の向上を図る。GearsAgda とは、CbC を定理証明支援系言語 Agda で記述する手法で