| 講演名 | 2018-01-26 特許第4958574号のプログラム論理の検証方法の紹介と展開について 岡崎 秀晃(湘南工科大), 高井 邦夫(高井工務店), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本報告では，テストデータチェックやロジックチェックでは検出が困難なソフトウェアの不具合(バグ)を数学的見地から検証する方法を提供する特許第4958574号のプログラム論理の検証方法の紹介と展開について報告する |
| 抄録(英) | In this report, we introduce the program logic verification method, from the viewpoint of mathematical dynamical systems, based on PA4958574 which can verify software bugs that are so difficult to be found by using ordinary test-data, and logic checks. we also describe how to develop the verification method. |
| キーワード(和) | 特許 / プログラム論理検証方法 |
| キーワード(英) | Japanese Patent / Program Logic Verification Method |
| 資料番号 | CAS2017-122,ICTSSL2017-49 |
| 発行日 | 2018-01-18 (CAS, ICTSSL) |
| 研究会情報 | |
| 研究会 | ICTSSL / CAS |
|---|---|
| 開催期間 | 2018/1/25(から2日開催) |
| 開催地（和） | 機械振興会館 |
| 開催地（英） | Kikai-Shinko-Kaikan Bldg. |
| テーマ（和） | 学生セッション，一般 |
| テーマ（英） | Student Session, etc. |
| 委員長氏名（和） | 岡田 和則(NICT) / 平木 充(ルネサス エレクトロニクス) |
| 委員長氏名（英） | Kazunori Okada(NICT) / Mitsuru Hiraki(Renesas) |
| 副委員長氏名（和） | 田村 裕(中大) / 中野 敬介(新潟大) / 岡崎 秀晃(湘南工科大) |
| 副委員長氏名（英） | Hiroshi Tamura(Chuo Univ.) / Keisuke Nakano(Niigata Univ.) / Hideaki Okazaki(Shonan Inst. of Tech.) |
| 幹事氏名（和） | 川上 博(NTTドコモ) / 井ノ口 宗成(静岡大) / 山口 基(ルネサスシステムデザイン) / 橘 俊宏(湘南工科大) |
| 幹事氏名（英） | Hiroshi Kawakami(NTT DoCoMo) / Munenari Inoguchi(Shizuoka Univ.) / Motoi Yamaguchi(Renesas) / Toshihiro Tachibana(Shonan Inst. of Tech.) |
| 幹事補佐氏名（和） | 佐藤 翔輔(東北大) / 和田 友孝(関西大) / 宮北 和之(新潟大) / 中村 洋平(日立) |
| 幹事補佐氏名（英） | Shosuke Sato(Tohoku Univ.) / Tomotaka Wada(Kansai Univ.) / Kazuyuki Miyakita(Niigata Univ.) / Yohei Nakamura(Hitachi) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Information and Communication Technologies for Safe and Secure Life / Technical Committee on Circuits and Systems |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 特許第4958574号のプログラム論理の検証方法の紹介と展開について |
| サブタイトル（和） | |
| タイトル（英） | On a Development and introduction of Program Logic Verification Method based on Japanese Patent PA4958574 |
| サブタイトル（和） | * |
| キーワード(1)（和/英） | 特許 / Japanese Patent |
| キーワード(2)（和/英） | プログラム論理検証方法 / Program Logic Verification Method |
| 第 1 著者 氏名（和/英） | 岡崎 秀晃 / Hideaki Okazaki |
| 第 1 著者 所属（和/英） | 湘南工科大学(略称：湘南工科大) Shonan Institute of Technology(略称：SIT) |
| 第 2 著者 氏名（和/英） | 高井 邦夫 / Kunio Takai |
| 第 2 著者 所属（和/英） | 高井工務店(略称：高井工務店) Takai Builders(略称：TB) |
| 発表年月日 | 2018-01-26 |
| 資料番号 | CAS2017-122,ICTSSL2017-49 |
| 巻番号（vol） | vol.117 |
| 号番号（no） | CAS-400,ICTSSL-401 |
| ページ範囲 | pp.63-68(CAS), pp.63-68(ICTSSL), |
| ページ数 | 6 |
| 発行日 | 2018-01-18 (CAS, ICTSSL) |