A Grand Challenge Proposal for Formal Methods: A Verified Stack-Reference-Cited by-同舟云学术

A Grand Challenge Proposal for Formal Methods: A Verified Stack

Published:2003 Issue: Volume: Page:161-172
ISSN:0302-9743
Container-title:Formal Methods at the Crossroads. From Panacea to Foundational Support
language:
Short-container-title:

Author:

Moore J. Strother

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-40007-3_11

Reference49 articles.

1. Ball, T., Rajamani, S.K.: The SLAM project: debugging system software via static analysis. In: SIGPLAN Notices: Conference Record of POPL 2002, vol. 37(1), pp. 1–3 (January 2002)

2. Bertoli, P., Traverso, P.: Design verification of a safety-critical embedded verifier. In: Kaufmann et al. [24], pp. 233–246

3. Bevier, W.R.: A verified operating system kernel. Ph.d. dissertation, University of Texas at Austin (1987)

4. Bevier, W.R., Hunt, W.A., Moore, J.S., Young, W.D.: Special issue on system verification. Journal of Automated Reasoning 5(4), 409–530 (1989)

5. Boyer, R.S., Moore, J.S.: Mechanized formal reasoning about programs and computing machines. In: Veroff, R. (ed.) Automated Reasoning and Its Applications: Essays in Honor of Larry Wos, pp. 147–176. MIT Press, Cambridge (1996)

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

1. Verified compilation on a verified processor;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08

2. Formal Model of Classic Operating System Kernel;Advanced Materials Research;2013-08

3. Pervasive Verification of an OS Microkernel;Verified Software: Theories, Tools, Experiments;2010

4. Proving the correctness of client/server software;Sadhana;2009-02

5. Formal Verification of Gate-Level Computer Systems;Computer Science - Theory and Applications;2009