Author:
Abe Tatsuya,Maeda Toshiyuki
Reference43 articles.
1. McSPIN. https://bitbucket.org/abet/mcspin/.
2. P. A. Abdulla, M. F. Atig, Y.-F. Chen, C. Leonardsson, and A. Rezine. Automatic fence insertion in integer programs via predicate abstraction. In Proc. of SAS2012, pages 164--180, 2012.
3. P. A. Abdulla, M. F. Atig, Y.-F. Chen, C. Leonardsson, and A. Rezine. Memorax, a precise and sound tool for automatic fence insertion under tso. In Proc. of TACAS2013, pages 530--536, 2013.
4. T. Abe and T. Maeda. A formal system of memory consistency models. In preparation for submission.
5. T. Abe and T. Maeda. Model Checking with User-Definable Memory Consistency Models. In Proc. of PGAS2013, short paper, pages 225--230, 2013.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献