Publisher
Springer Nature Switzerland
Reference30 articles.
1. Lecture Notes in Computer Science;R Alur,2003
2. Appel, A.W., Beringer, L., Cao, Q.: Verifiable C. Software Foundations, vol. 5 (2021). https://softwarefoundations.cis.upenn.edu/vc-current/index.html
3. Appel, A.W., et al.: Program Logics for Certified Compilers. Cambridge University Press, Cambridge (2014)
4. Appel, A.W., Naumann, D.A.: Verified sequential malloc/free. In: Ding, C., Maas, M. (eds.) ISMM 2020: 2020 ACM SIGPLAN International Symposium on Memory Management, pp. 48–59. ACM (2020). https://doi.org/10.1145/3381898.3397211
5. Motor Industry Software Reliability Association: MISRA-C:2012 Guidelines for the use of the C language in critical systems (2012). https://www.misra.org.uk, MIRA Ltd
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verified Software Units for Simple DFA Modules and Objects in C;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022
2. Automating Software Re-engineering: Introduction to the ISoLA 2022 Track;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022