Author:
Goos Gerhard,Znnmerrnaun Wolf
Publisher
Springer Berlin Heidelberg
Reference52 articles.
1. M. Blum and S. Karman. Program correctness checking... and the design of programs that check their work. In Proceedings 21st Stnnpoeuuti on Theory of Computing, 1989.
2. M. Blum, M. Luby, and R. Rubinfeld. Self-testingycorrecting with applications to numerical problems. In Proceedings 22nd Symposium on Theory of Computing, 1990.
3. Manuel Blum and Sampath Karman. Designing programs that check their work. Journal of the ACM; 42(1):269–291, January 1995.
4. E. Borger, G. Del Castillo, P. Glavan, and D. Rosenzweig. Towards a Mathematical Specification of the APElOO Architecture: the APESE Model. In B. Pehrson and I. Simon, editors, IFIP 13th World Computer Congress volume I: Technology/Foundations, pages 396–401, Elsevier, Amsterdam, the Netherlands, 1994.
5. E. Börger and I. Durdanovic. Correctness of compiling occam to transputer. The Computer Journal, 39(1):52–92, 1996.
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Small Step Incremental Verification of Compilers;Lecture Notes in Computer Science;2024
2. Towards efficient and verified virtual machines for dynamic languages;Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs;2021-01-17
3. A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines;Logic, Computation and Rigorous Methods;2021
4. Megamodelling with NGA multimodels;Proceedings of the 2nd ACM SIGPLAN International Workshop on Comprehension of Complex Systems;2017-10-23
5. The Model-Driven openETCS Paradigm for Secure, Safe and Certifiable Train Control Systems;Railway Safety, Reliability, and Security;2012