Reducing state explosion for software model checking with relaxed memory consistency models
-
- 安部 達也
- 千葉工業大学
書誌事項
- タイトル
- Reducing state explosion for software model checking with relaxed memory consistency models
- 著者
- Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, and Kousuke Matsumoto
収録刊行物
-
- Proceedings of the 2nd International Symposium on Dependable Software Engineering: Theories, Tools and Applications
-
Proceedings of the 2nd International Symposium on Dependable Software Engineering: Theories, Tools and Applications LNCS 9984 2016