Author:
Ab Rahim Lukman,Whittle Jon
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Visser, W., Havelund, K., Brat, G., Park, S.J., Lerda, F.: Model checking programs. Automated Software Engineering Journal 10(2), 203–232 (2003)
2. Necula, G.C.: Proof-carrying Code. In: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL 1997), pp. 106–119. ACM, New York (1997)
3. Lecture Notes in Computer Science;C. Colby,2000
4. Schumann, J., Fischer, B., Whalen, M., Whittle, J.: Certification Support for Automatically Generated Programs. In: Proceedings of the 36th Annual Hawaii International Conference on System Sciences, pp. 1–10. IEEE, Los Alamitos (2003)
5. Denney, E., Fischer, B.: Extending Source Code Generators for Evidence-Based Software Certification. In: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006), pp. 138–145. ACM, New York (2006)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献