キーワード : 定理証明


Coqを使用したMapReduceアプリケーションの検証とScalaコードの抽出
姜 帆 田辺 良則 本位田 真一 
誌名:   電子情報通信学会論文誌 D
発行日: 2014/03/01
Vol. J97-D  No. 3 ; pp. 625-634
論文種別:  論文
専門分野: ソフトウェアシステム
キーワード: 
形式手法MapReduce定理証明手続き型言語
 あらまし | 本文:PDF(1.6MB)

抽象モデル生成による不要節の削除
梅田 眞由美 越村 三幸 長谷川 隆三 
誌名:   電子情報通信学会論文誌 D
発行日: 2006/10/01
Vol. J89-D  No. 10 ; pp. 2288-2295
論文種別:  論文
専門分野: 人工知能,認知科学
キーワード: 
定理証明節の抽象化節集合の前処理モデル生成
 あらまし | 本文:PDF(221.6KB)

UMLによるプロテクションプロファイルのモデル化とその形式的検証
森本 祥一 程 京徳 
誌名:   電子情報通信学会論文誌 D
発行日: 2006/04/01
Vol. J89-D  No. 4 ; pp. 726-742
論文種別:  特集論文 (フォーマルアプローチ論文特集)
専門分野: セキュリティ
キーワード: 
ISO/IEC15408コモンクライテリアデザインパターン定理証明モデル検査
 あらまし | 本文:PDF(392.3KB)