Feature Interaction Verification Using Unbounded Model Checking with Interpolation

このアイテムのアクセス数:202件（2022-05-29 18:39 集計）

このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/27255

ファイル	フォーマット	サイズ	閲覧回数	説明
IEICE_E92-D_6_1250	pdf	209 KB	224

タイトル	Feature Interaction Verification Using Unbounded Model Checking with Interpolation
著者	Matsuo, Takafumi Matsuo, Takafumi
	Tsuchiya, Tatsuhiro Tsuchiya, Tatsuhiro
	Kikuno, Tohru 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
ISSN	09168532
NCID	AA10826272
DOI (出版社版)	info:doi/10.1587/transinf.E92.D.1250
URL	http://hdl.handle.net/11094/27255
関連情報 (references)	http://search.ieice.org/
権利情報	Copyright © 2009 The Institute of Electronics, Information and Communication Engineers
言語	英語
カテゴリ	学術雑誌論文 Journal Article

著者版フラグ	publisher
NII資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
dcmi資源タイプ	text
DCTERMS.bibliographicCitation	IEICE transactions on information and systems.E92-D(6) P.1250-P.1259
DC.title	Feature Interaction Verification Using Unbounded Model Checking with Interpolation
DC.creator	Matsuo, Takafumi
	Tsuchiya, Tatsuhiro
	Kikuno, Tohru
DC.publisher	電子情報通信学会
DC.language" scheme="DCTERMS.RFC1766	英語
DCTERMS.issued" scheme="DCTERMS.W3CDTF	2009-06-01
DC.identifier	info:doi/10.1587/transinf.E92.D.1250
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/27255
DC.subject	unbounded model checking
	interpolation
	feature interaction
	verification
DC.rights	Copyright © 2009 The Institute of Electronics, Information and Communication Engineers
citation_title	Feature Interaction Verification Using Unbounded Model Checking with Interpolation
citation_author	Matsuo, Takafumi
	Tsuchiya, Tatsuhiro
	Kikuno, Tohru
citation_publisher	電子情報通信学会
citation_language	英語
citation_date	2009-06-01
citation_journal_title	IEICE transactions on information and systems
citation_volume	E92-D
citation_issue	6
citation_firstpage	1250
citation_lastpage	1259
citation_issn	09168532
citation_doi	info:doi/10.1587/transinf.E92.D.1250
citation_public_url	http://hdl.handle.net/11094/27255
citation_keywords	unbounded model checking
	interpolation
	feature interaction
	verification