| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| CAS, MSS (共催) |
2011-11-17 14:50 |
山口 | 山口大学大学会館 | トラップ包含閉路ネットの判定法 ○太田 淳・辻 孝吉（愛知県立大）  CAS2011-68 MSS2011-37 |
ペトリネットはコンカレントシステムのための有効なモデルの一つである。 一般にペトリネットの解析問題には膨大な計算量が必... [more] |
CAS2011-68 MSS2011-37 pp.25-30 |
| DC | 2011-10-20 11:00 |
東京 | 機械振興会館 | 上界のない整数型変数を有する並行システムに対するk帰納法を用いたモデル検査 ○井上裕之・土屋達弘・菊野 亨（阪大） DC2011-20 |
モデル検査において上界のない整数型変数を有するシステムを対象とした場合，状態数は無限となるため，状態全てを個々に探索する... [more] | DC2011-20 pp.1-5 |
| MSS | 2010-08-02 14:25 |
石川 | 金沢学院大 サテライト教室 | OTS/CafeOBJ法に基づく並行システムの実装とテスト生成 ○清野貴博（産総研）・中村正樹（金沢大） CST2010-33 |
形式仕様によるシステムの記述と、プログラミング言語によるソフトウェアの実装には隔たりがあるが、これを克服するために、筆者... [more] | CST2010-33 pp.7-12 |
| CAS, MSS, VLD, SIP (共催) |
2010-06-22 13:20 |
北海道 | 北見工大 | 並行システムを解析するための逐次化と状態削減機能の実装 ～ 仕様の自動生成を目指して ～ ○磯部祥尚（産総研） CAS2010-25 VLD2010-35 SIP2010-46 CST2010-25 |
並行システムは逐次システムに比べてその全体の動作を把握することが難しい．そこで，並行システムが仕様を満たすことを判定する... [more] | CAS2010-25 VLD2010-35 SIP2010-46 CST2010-25 pp.139-144 |
| MSS | 2009-06-03 14:50 |
大阪 | 摂南大学大阪センター | SAT and SMT Based Model Checking of Concurrent Systems ○Tatsuhiro Tsuchiya・Tohru Kikuno（Osaka Univ.） CST2009-4 |
SATやSMTを用いたモデル検査について議論する．この種のモデル検査手法では，検証問題を論理式の充足可能性判定問題に帰着... [more] | CST2009-4 pp.19-23 |
[研究会発表申込システムのトップページに戻る]