A Language for Building Verified Software Components-Reference-Cited by-同舟云学术

A Language for Building Verified Software Components

Published:2013 Issue: Volume: Page:308-314
ISSN:0302-9743
Container-title:Safe and Secure Software Reuse
language:
Short-container-title:

Author:

Kulczycki Gregory,Sitaraman Murali,Krone Joan,Hollingsworth Joseph E.,Ogden William F.,Weide Bruce W.,Bucci Paolo,Cook Charles T.,Drachova-Strang Svetlana V.,Durkee Blair,Harton Heather,Heym Wayne,Hoffman Dustin,Smith Hampton,Sun Yu-Shan,Tagore Aditi,Yasmin Nighat,Zaccai Diego

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-38977-1_23

Reference14 articles.

1. Hoare, C.A.R.: The Verifying Compiler. A Grand Challenge for Computing Research. JACM 50(1), 63–69 (2003)

2. Lecture Notes in Computer Science;V. Klebanov,2011

3. Lecture Notes in Computer Science;M. Sitaraman,2000

4. Sitaraman, M., Adcock, B., Avigad, J., Bronish, D., Bucci, B., Frazier, D., Friedman, H.M., Harton, H.K., Heym, W., Kirschenbaum, J., Krone, J., Smith, H., Weide, B.W.: Building a Push-Button RESOLVE Verifier: Progress and Challenges. Formal Aspects of Computing 23(5), 607–626 (2011)

5. Adcock, B.: Working Towards the Verified Software Process. Ph. D. thesis, Computer Science and Engineering, The Ohio State University (2010)

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

1. An Array Abstraction to Amortize Reasoning About Parallel Client Code;Lecture Notes in Networks and Systems;2021-07-13

2. A Modular Way to Reason About Iteration;Lecture Notes in Computer Science;2016

3. Formal Reasoning Using an Iterative Approach with an Integrated Web IDE;Electronic Proceedings in Theoretical Computer Science;2015-08-14