Author

Sebastian W. Ertel

h-index 7 View on Semantic Scholar

We have 2 of 27 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#software testing Preprint Sep 2026

Corten - Foundational Verification of Rust Programs

Corten provides the first semantics of surface-level Rust mechanized in a proof assistant with an attached program logic, directly grounded in the Rust Reference, and deeply embeds the Typed High-level Intermediate Representation into Rocq and formalises Rust's dynamic semantics as a weakest-precondition predicate transformer calculus.

František Farka, Carmine Abate, Sven Linker et al. · 0 citations

Preprint Jul 2026

Harnessing Code Agents for Automatic Software Verification

It is shown that imposing a fixed, human-designed proof strategy into the system and constrain the model to follow it is unnecessary and limiting, and a state-of-the-art model can write proofs for verified software development fully and automatically.

Shuangxiang Kan, Shuanglong Kan, Sebastian Ertel · 0 citations