Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Reference59 articles.
1. AbsInt, Angewandte Informatik. Astrée run-time error analyzer. http://www.absint.com/astree.
2. Shared memory consistency models: a tutorial
3. Aeronautical Radio Inc. ARINC 653. http://www.arinc.com.
4. J. Alglave, D. Kroening, J. Lugton, V. Nimal, and M. Tautschnig. Soundness of data flow analyses for weak memory models. InProc. of the 9th Asian Symp. on Programming Languages and Systems (APLAS'2011), volume 7078 ofLNCS, pages 272-288, Dec. 2011.
5. J. Alglave, L. Maranget, S. Sarkar, and P. Sewell. Litmus: Running tests against hardware. InProc. of 17th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11), volume 6605 ofLNCS, pages 41-44. Springer, Mar. 2011.
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献