Visualization of Counterexamples of Memory Model-Aware Model Checking Using SPIN
Visualization of Counterexamples of Memory Model-Aware Model Checking Using SPIN
复制标题
使用 SPIN 可视化内存模型感知模型检查的反例
DOI：
--
复制
发表时间：
2019
影响因子：
--
通讯作者：
Ugawa Tomoharu
中科院分区：
文献类型：
--
作者：
Matsumoto Kosuke; Ugawa Tomoharu
