1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.PL2026
A Complete, Formal Semantics for Rust Source Code
Daniel Drodt
Formally reasoning about Rust programs requires a rigorous formal semantics, especially in the context of deductive verification and concurrent programming. We present a modular, f…
cs.PL2026
A New Interaction Concept for Interactive and Autoactive Program Verification
Wolfram Pfeifer, Mattias Ulbrich, Daniel Drodt
Fully functional program verification is an undecidable$\unicode{x2014}$and, hence, inherently difficult$\unicode{x2014}$task, that is not automatically solvable but typically requ…
cs.PL2026★ 1 cited
RustyDL: A Program Logic for Rust
Daniel Drodt, Reiner Hähnle
Rust is a modern programming language that guarantees memory safety and the absence of data races with a strong type system. We present RustyDL, a program logic for Rust, as a foun…