山根, 智, Yamane, Satoshi2021-06-18令和2(2020)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2020 Fiscal Year Final Research Report2018-04-01 - 2021-03-31p.6p.-
全国の図書館
- 件名ソフトウェアモデル検査 組込みアセンブリプログラム 抽象化精錬 SMT Interpolation
山根, 智, Yamane, Satoshi2018-04-25平成29(2017)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2017 Fiscal Year Final Research Report2015-04-01 - 2018-03-31p.4p.-
全国の図書館
- 件名ソフトウェアモデル検査 組込みアセンブリプログラム 抽象化精錬 SMT 定理証明
- 一般注記...を構築する)を作成した.(2)抽象化精錬(CEGAR)型SMTモデル検査手法を開発した.このモデル検...
山根, 智, Yamane, Satoshi2015-06-09平成26(2014)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2014 Fiscal Year Final Research Report2012-04-01 - 2015-03-31p.4p.-
全国の図書館
- 件名組込みシステム ハイブリッドオートマトン モデル検査 抽象化精錬 仕様記述 形式的検証 動的再構成可能システム CEGAR
- 一般注記...ッドオートマトンの開発,②その抽象化精錬検証の開発により,コタスクの生成消滅,周波数の動的変化,状態...