お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (検索条件: すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 7件中 1~7件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
SS 2020-03-04
15:10
沖縄 てんぶす那覇
(開催中止,技報発行あり)
排他制御を含むプログラムから論理制約付き項書換え系への変換
小嶋美咲西田直樹松原 豊酒井正彦名大SS2019-46
計算モデルである論理制約付き項書換え系(LCTRS)をプログラムの検証に用いる先行研究では,逐次実行される命令型プログラ... [more] SS2019-46
pp.31-36
MSS, NLP
(併催)
2018-03-13
14:55
大阪 大阪大学豊中キャンパス 定理証明器Princessを用いた組込みアセンブリプログラムのリアルタイム安全性の演繹的検証
小田島直樹金沢大)・福田岳飛金沢錦丘高校)・山根 智金沢大MSS2017-84
組込みシステムでは, 論理的正当性だけではなく, リアルタイム性の検証が重要である. 本論文では, 組込みプログラムのリ... [more] MSS2017-84
pp.35-40
ICTSSL, CAS
(共催)
2018-01-26
10:00
東京 機械振興会館 特許第4958574号のプログラム論理の検証方法の紹介と展開について
岡崎秀晃湘南工科大)・高井邦夫高井工務店CAS2017-122 ICTSSL2017-49
本報告では,テストデータチェックやロジックチェックでは検出が困難なソフトウェアの不具合(バグ)を数学的見地から検証する方... [more] CAS2017-122 ICTSSL2017-49
pp.63-68
SIP, CAS, MSS, VLD
(共催)
2017-06-20
09:30
新潟 新潟大学五十嵐キャンパス 中央図書館ライブラリーホール 組込みアセンブリプログラムのリアルタイム安全性の演繹的検証 ~ □≦TIME q = □(q∧(time≦TIME)) ~
山根 智金沢大CAS2017-12 VLD2017-15 SIP2017-36 MSS2017-12
組込みシステムでは, 論理的正当性だけではなく, リアルタイム性の検証が重要である. 本論文では, 組込みプログラムのリ... [more] CAS2017-12 VLD2017-15 SIP2017-36 MSS2017-12
pp.59-64
SS 2016-03-10
11:15
沖縄 沖縄県立宮古青少年の家 拡張Farkas補題の部分適用による非線形ループ不変式生成を用いたプログラム検証
柳澤真志西田直樹酒井正彦名大SS2015-81
ループ不変式を生成するための手法として,与えたテンプレートと事前条件と事後条件から得られる検証式をFarkas補題に基づ... [more] SS2015-81
pp.31-36
MSS, CAS
(共催)
IPSJ-AL
(連催) [詳細]
2015-11-20
14:20
鹿児島 指宿市民会館 大会議室 分散アルゴリズムの実行列からプログラム合成とそのプログラム検証
山根 智金沢大CAS2015-50 MSS2015-24
分散システムの分散問題を解決する分散アルゴリズムはクラウドコンピュータやP2Pなどで多数動作しており, その正当性検証は... [more] CAS2015-50 MSS2015-24
pp.35-40
KBSE 2012-11-22
11:25
石川 金沢大学 (角間キャンパス) アセンブリプログラムに対するSMTソルバを使用する有界モデル検査
小橋潤平竹下 淳山根 智金沢大KBSE2012-41
本稿では組込みシステム向けアセンブリ言語プログラムコードのレジスタレベルモデルに対してSMTソルバを用いた有界モデル検査... [more] KBSE2012-41
pp.19-24
 7件中 1~7件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会