| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS | 2015-03-06 10:25 |
石川 | ITビジネスプラザ武蔵 | 割込み遷移削減手法を導入した組込みアセンブリコード向けSMTベースモデル検査器の開発 ○小橋潤平・竹下 淳・山根 智・櫻井孝平（金沢大）  MSS2014-100 |
近年の発展を続けている組込みシステムにおいて, ハードウェアに依存する性質を持つソフトウェアが用いられており, 開発期間... [more] | MSS2014-100 pp.53-58 |
| SS, MSS (共催) |
2014-01-31 09:55 |
愛知 | 豊田中央研究所 | CISC型組込みアセンブリプログラムのSMTベースの有界モデル検査 ○竹下 淳・小橋潤平・山根 智（金沢大） MSS2013-62 SS2013-59 |
本研究では, 組込みシステム向けアセンブリプログラムのコードブロックを対象とした,SMT有界モデル検査手法による性質検証... [more] | MSS2013-62 SS2013-59 pp.65-70 |
| KBSE | 2012-11-22 11:25 |
石川 | 金沢大学 (角間キャンパス) | アセンブリプログラムに対するSMTソルバを使用する有界モデル検査 ○小橋潤平・竹下 淳・山根 智（金沢大） KBSE2012-41 |
本稿では組込みシステム向けアセンブリ言語プログラムコードのレジスタレベルモデルに対してSMTソルバを用いた有界モデル検査... [more] | KBSE2012-41 pp.19-24 |
| VLD, CAS, MSS, SIP (共催) |
2012-07-02 13:00 |
京都 | 京都リサーチパーク | 組込みソフトウェアのアセンブラのSMT検証 ○竹下 淳・小橋潤平・山根 智（金沢大） CAS2012-7 VLD2012-17 SIP2012-39 MSS2012-7 |
本稿では，組込みアセンブリプログラムを対象としたSMT 有界モデル検査手法を以下のように提案する． (1) 検証の前処... [more] |
CAS2012-7 VLD2012-17 SIP2012-39 MSS2012-7 pp.37-42 |
| SS, MSS (共催) |
2012-01-26 11:45 |
高知 | 高知市文化プラザかるぽーと | SMTソルバーを用いたUML状態機械の有界モデル検査に関する一考察 ○新村勇人・宮本俊幸（阪大） MSS2011-58 SS2011-43 |
近年，記号モデル検査\cite{SMC}の有効な手法として命題論理式の充足可能性問題 (satisfiability，S... [more] | MSS2011-58 SS2011-43 pp.21-26 |
| SS | 2011-03-08 09:00 |
沖縄 | 沖縄県青年会館 | 有界モデル検査法を用いたモジュラー検証のテストケース生成による補完 ○橋本祐介（総研大/NEC）・中島 震（NII/総研大） SS2010-68 |
有界モデル検査法では，プログラムを有限状態遷移システムに変換する際に近似を導入する．近似は誤警告や不具合の見過しという問... [more] | SS2010-68 pp.91-96 |
| MSS, CAS (共催) |
2010-11-19 15:20 |
大阪 | 関西大学 | 同期遷移と非同期遷移が混在するUML状態機械の有界モデル検査における記号表現方法の一考察 ○新村勇人・宮本俊幸（阪大） CAS2010-80 CST2010-53 |
近年，記号モデル検査の一手法として命題論理式の充足可能性問題(satisfiability，SAT)を利用する有界モデル... [more] | CAS2010-80 CST2010-53 pp.83-88 |
| MSS | 2009-01-30 09:55 |
神奈川 | 神奈川県産業振興センター会議室(第一会議室) | 微分制約論理式によるハイブリッドシステムのモデリングと検証 ○石井大輔・上田和紀（早大）・細部博史（NII） CST2008-53 |
本研究ではハイブリッドシステムの到達可能性検証のための有界モデル検査法（bounded model checking）を... [more] | CST2008-53 pp.67-70 |
| SS | 2008-03-03 11:25 |
長崎 | 長崎大学 | 有界モデル検査を用いた複数UML図の形式的検証 ○宮崎 仁・横川智教・佐藤貞仁・佐藤洋一郎・早瀬道芳（岡山県立大） SS2007-60 |
筆者らはこれまでに，システム開発における複数のUML図で記述された仕様を一つの状態機械としてモデル化し，モデル検査による... [more] | SS2007-60 pp.19-24 |
[研究会発表申込システムのトップページに戻る]