JAIST Repository > b. 情報科学研究科・情報科学系 > b50. 科学研究費助成事業研究成果報告書 >
Automatic Verification of Distributed Mobile Robot Algorithms
準同型認証子による効率の良いデータ認証手法に関する研究
グラフ同型性判定問題に対する幅パラメータ固定アルゴリズムの研究
項書換えの合流性解析とその応用
形式証明の理論依存性解析とその計算可能証明発見への応用
