Modular Verification of Concurrent Thread Management-Reference-Cited by-同舟云学术

Modular Verification of Concurrent Thread Management

Published:2012 Issue: Volume: Page:315-331
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Guo Yu,Feng Xinyu,Shao Zhong,Shi Peizhi

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-35182-2_23

Reference18 articles.

1. Engelschall, R.S.: Portable multithreading: the signal stack trick for user-space thread creation. In: Proc. of ATEC 2000, p. 20. USENIX Association, Berkeley (2000)

2. Engler, D.R., Kaashoek, M.F., O’Toole Jr., J.: Exokernel: an operating system architecture for application-level resource management. In: Proceedings of the 15th ACM Symposium on Operating Systems Principles, SOSP 1995, Copper Mountain Resort, Colorado, pp. 251–266 (December 1995)

3. Lecture Notes in Computer Science;X. Feng,2008

4. Feng, X., Shao, Z., Vaynberg, A., Xiang, S., Ni, Z.: Modular verification of assembly code with stack-based control abstractions. In: Proc. PLDI 2006, pp. 401–414 (June 2006)

5. Lecture Notes in Computer Science;M. Gargano,2005

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Clean-Slate Development of Certified OS Kernels;Proceedings of the 2015 Conference on Certified Programs and Proofs;2015-01-13

2. VTOS: Research on Methodology of “Light-Weight” Formal Design and Verification for Microkernel OS;Information and Communications Security;2013

3. Modular Verification of Concurrent Thread Management;Programming Languages and Systems;2012