文献
J-GLOBAL ID:202002279180698363
整理番号:20A0553758
SPINを用いたメモリモデルを意識したモデル検査の反例の可視化
Visualization of Counterexamples of Memory Model-aware Model Checking Using SPIN
著者 (2件):
Matsumoto Kosuke
(Kochi University of Technology)
,
Ugawa Tomoharu
(Kochi University of Technology)
資料名:
Journal of Information Processing (Web)
(Journal of Information Processing (Web))
巻:
27
ページ:
489-498(J-STAGE)
発行年:
2019年
JST資料番号:
U0109A
ISSN:
1882-6652
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
英語 (EN)