2026

• Daniel Drodt and R. Hähnle, “Formalizing Rust contracts,” in Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps Between Software and System Contracts. ISoLA 2026 Proc. Part 3, T. Margaria and B. Steffen, Eds., in LNCS, no. 17143. Cham: Springer, Oct. 2026, pp. 117–134. doi: 10.1007/978-3-032-40118-2_7 .
• Daniel Drodt, “A complete, formal semantics for Rust source code,” Oct. 05, 2026, arXiv: arXiv:2610.06003. doi: 10.48550/arXiv.2610.06003 . Submitted to ACM TOPLAS.
• Wolfram Pfeifer, Mattias Ulbrich, and Daniel Drodt, “A new interaction concept for interactive and autoactive program verification,” May 07, 2026, arXiv: arXiv:2605.06972. doi: 10.48550/arXiv.2605.06972 .
• Daniel Drodt and Reiner Hähnle, “RustyDL: A program logic for Rust,” in Proc. 27th Intl. Symp. on Formal Methods, Tokyo, Japan, Part I, A. Sampaio, M. Stoelinga, A. D. Brucker, and M.-C. Jakobs, Eds., in LNCS, no. 16556. Cham: Springer, May 2026, pp. 357–377. doi: 10.1007/978-3-032-26204-2_19 .
• Daniel Drodt and Reiner Hähnle. “RustyDL: A Program Logic for Rust.” Technical report, 2026. arXiv: arXiv:2610.06003. doi: https://doi.org/10.48550/arXiv.2602.22075 .
• Daniel Drodt and Reiner Hähnle, RustyDL: A program logic for Rust. Artifact. 2026. doi: 10.5281/zenodo.18598451 .

2025

• Bernhard Beckert, Richard Bubel, Daniel Drodt, Reiner Hähnle, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich, and Alexander Weigl, “The Java verification tool KeY: A tutorial,” in Formal Methods, A. Platzer, K. Y. Rozier, M. Pradella, and M. Rossi, Eds., in LNCS, no. 14934. Cham: Springer, 2025, pp. 597–623. doi: 10.1007/978-3-031-71177-0_32

2024

• Bernhard Beckert, Richard Bubel, Daniel Drodt, Reiner Hähnle, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich, and Alexander Weigl, The Java verification tool KeY: A tutorial. Artifact. 2024. doi: 10.5281/zenodo.11669182