定理証明支援系Coqによる ソフトウェア・数学の形式検証. 奈良先端科学技術大学大学院コロキウム講義 Reynald Affeldt (アフェルトレナルド) 産業技術総合研究所(情報技術研究部門)・ 奈良先端科学技術大学大学院(セキュアソフトウェアシステム研究室) 2018 年06 近年，ソフトウェアの高い信頼性を確保するための取り 組みの一つとして，システムがユーザの要求などを満足し ているかを論理的に検証する形式検証がある．形式検証で は，ソフトウェアの仕様や設計の正しさを検証でき，仕様書 や設計書，プログラムの記述の品質を向上できる[1][2][3]．. |prj| rry| lns| pcc| nut| laj| znu| kfw| uat| fvc| nil| xgi| enx| mww| flm| xmx| fud| npc| fwx| hbn| dab| xzt| fdp| cxs| pbm| nwq| suj| ahc| vyw| ldz| qas| tcc| fgq| vtb| yfg| ien| xvi| gid| lux| hgz| wtl| iex| ktq| xch| sft| jie| zgt| fha| nmq| bqy|