モデル検査への事前条件・事後条件検証の導入

• Item type: SIG Technical Reports(1)
• 公開日: 2007-05-28
• タイトル: モデル検査への事前条件・事後条件検証の導入
• タイトル / 言語: en
• タイトル: A study of an integration “design by contract” and the model checking
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: イーソル株式会社リサーチ＆コンサルテーションサービス部
• 著者所属: イーソル株式会社リサーチ＆コンサルテーションサービス部
• 著者所属: イーソル株式会社リサーチ＆コンサルテーションサービス部
• 著者所属(英): en
• 著者所属(英): Research & Consultation Services Group, eSOL Co., Ltd.
• 著者所属(英): en
• 著者所属(英): Research & Consultation Services Group, eSOL Co., Ltd.
• 著者所属(英): en
• 著者所属(英): Research & Consultation Services Group, eSOL Co., Ltd.
• 著者名: 平野, 清美; 宇佐美, 雅紀; 藤倉, 俊幸
• 著者名(英): Kiyomi, HIRANO; Masanori, USAMI; Toshiyuki, FUJIKURA
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 従来の形式仕様記述のレベルはデータ制約を扱うシミュレーションまでであったが，本研究によりモデル検査技術を利用することで検証レベルを上げることができたので報告する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This paper describes about the enhancement of the verification level of embedded software. Although the verification level of the conventional formal specification language is limited to a simulation, using model checking enhance the verification level.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 情報処理学会研究報告ソフトウェア工学（SE）; 巻 2007, 号 52(2007-SE-156), p. 1-4, 発行日 2007-05-28
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会