Daniel Drodt

According to our database, Daniel Drodt authored at least 3 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

RustyDL: A Program Logic for Rust.

Daniel Drodt, Reiner Hähnle

CoRR, February, 2026

2024

The Java Verification Tool KeY: A Tutorial.

Bernhard Beckert, Richard Bubel, Daniel Drodt, Reiner Hähnle, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich, Alexander Weigl

Dataset, June, 2024

The Java Verification Tool KeY:A Tutorial.

Bernhard Beckert, Richard Bubel, Daniel Drodt, Reiner Hähnle, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich, Alexander Weigl

Proceedings of the Formal Methods - 26th International Symposium, 2024