第一階述語論理のサブクラスに対する項の高さ縮減を用いた不変条件の近似的検証アルゴリズム

• 資料種別: 記事
• タイトル: 第一階述語論理のサブクラスに対する項の高さ縮減を用いた不変条件の近似的検証アルゴリズム
• 著者・編者: 清水 博章; 浜口 清治; 柏原 敏伸
• シリーズタイトル: ディペンダブルコンピューティング
• 著者標目: 清水 博章; 浜口 清治; 柏原 敏伸
• 並列タイトル等: An approximate invariant property checking using term-height reduction for a subset of first-order logic
• タイトル（掲載誌）: 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
• 巻号年月日等（掲載誌）: 107(337) 2007.11.20
• 掲載巻: 107
• 掲載号: 337
• 掲載ページ: 19～24
• 掲載年月日（W3CDTF）: 2007-11-20
• ISSN（掲載誌）: 0913-5685
• ISSN-L（掲載誌）: 0913-5685
• 出版事項（掲載誌）: 東京 : 電子情報通信学会
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 件名標目: モデルチェッキング; 第一階述語論理; 抽象化; 不変条件; model checking; first-order logic; abstraction; invariant
• NDLC: ZN33
• 対象利用者: 一般
• レポート番号（雑誌記事）: DC2007-28
• 所蔵機関: 国立国会図書館
• 請求記号: Z16-940
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館雑誌記事索引; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 9291351; http://id.ndl.go.jp/bib/9291351
• 整理区分コード: 632