Author:
Hähnle Reiner,Scaletta Marco,Kamburjan Eduard
Publisher
Springer Nature Switzerland
Reference8 articles.
1. Bliudze, S., van den Bos, P., Huisman, M., Rubbens, R., Safina, L.: JavaBIP meets VerCors: towards the safety of concurrent software systems in Java. In: Lambers, L., Uchitel, S. (eds.) Fundamental Approaches to Software Engineering, 26th International Conference, FASE, Paris, France, vol. 13991 of LNCS, pp. 143–150. Springer, Heidelberg (2023). https://doi.org/10.1007/978-3-031-30826-0_8
2. Bubel, R., Gurov, D., Hähnle, R., Scaletta, M.: Trace-based deductive verification. In: Piskac, R., Voronkov, A. (eds.) Proceedings 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Manizales Colombia, EPiC Series in Computing. EasyChair (2023)
3. de Boer, F., et al. A survey of active object languages. ACM Comput. Surv. 50(5), 76:1–76:39 (2017)
4. Ernst, G., Knapp, A., Murray, T.: A Hoare logic with regular behavioral specifications. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation, 11th International Symposium, ISoLA, Rhodes, Greece, Proceedings Part I, vol. 13701 of LNCS, pp. 45–64. Springer, Heidelberg (2022)
5. Hähnle, R., Huisman, M.: Deductive verification: from pen-and-paper proofs to industrial tools. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science: State of the Art and Perspectives. LNCS, vol. 10000, pp. 345–373. Springer, Cham (2019)