Publisher
Springer International Publishing
Reference37 articles.
1. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R., Schmitt, P.H., Ulbrich, M. (eds.): Deductive Software Verification - The KeY Book - From Theory to Practice. LNCS, vol. 10001. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-49812-6
2. Albarghouthi, A., Dillig, I., Gurfinkel, A.: Maximal specification synthesis. In: Bodík, R., Majumdar, R. (eds.) Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, 20–22 January 2016, pp. 789–801. ACM (2016). https://doi.org/10.1145/2837614.2837628
3. Alshnakat, A.: Automatic verification of embedded systems using horn clause solvers. Master’s thesis, Uppsala University, Department of Information Technology (2019)
4. Benveniste, A., et al.: Contracts for system design. Found. Trends Electron. Des. Autom. 12(2–3), 124–400 (2018)
5. Lecture Notes in Computer Science;D Beyer,2015
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. An Exercise in Mind Reading: Automatic Contract Inference for Frama-C;Computer Science Foundations and Applied Logic;2024
2. Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks;ACM Transactions on Software Engineering and Methodology;2023-12-05
3. An Active Learning Approach to Synthesizing Program Contracts;Software Engineering and Formal Methods;2023
4. Deductive Verification Based Abstraction for Software Model Checking;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022
5. TriCo—Triple Co-piloting of Implementation, Specification and Tests;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022