Feature Interaction Verification Using Unbounded Model Checking with Interpolation

Matsuo, Takafumi; Tsuchiya, Tatsuhiro; Kikuno, Tohru

IEICE transactions on information and systems, 2009, E92-D(6), 1250-1259

アクセス数:474件（2025-07-06 10:34 集計）

固定URL: https://hdl.handle.net/11094/27255

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
IEICE_E92-D_6_1250 pdf なし 209 KB 288 2014.04.03  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
Feature Interaction Verification Using Unbounded Model Checking with Interpolation
著者
著者名
Matsuo, Takafumi
NRID
1000030283740 1000030283740
ORCID
0000-0002-3329-9235 0000-0002-3329-9235
researchmap permalink
tatsuhirotsuchiya72 tatsuhirotsuchiya72
Scopus Author ID
7403030658 7403030658
著者名
Tsuchiya, Tatsuhiro
NRID
1000050093745 1000050093745
著者名
Kikuno, Tohru
キーワード等
unbounded model checking
interpolation
feature interaction
verification
出版者
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
収録物名
IEICE transactions on information and systems
巻(号)
E92-D(6)
ページ
1250-1259
刊行年月
2009-06-01
言語
英語
ハンドルURL
https://hdl.handle.net/11094/27255
PISSN
09168532
NCID
AA10826272
関連情報 (references)
URI
http://search.ieice.org/
関連情報 (isIdenticalTo)
DOI (出版社版)
https://doi.org/10.1587/transinf.E92.D.1250
アクセス権
open access
権利情報
Copyright © 2009 The Institute of Electronics, Information and Communication Engineers
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article