Sextl, F. (2026, April 13). Brushing off the Rust: Towards Compositional Memory Safety Verification for unsafe Rust [Presentation]. Sixth Rust Verification Workshop (RW2026), Turin, Italy. https://doi.org/10.34726/12079
E192-04 - Forschungsbereich Formal Methods in Systems Engineering E056-13 - Fachbereich LogiCS
-
Date (published):
13-Apr-2026
-
Event name:
Sixth Rust Verification Workshop (RW2026)
en
Event date:
13-Apr-2026 - 14-Apr-2026
-
Event place:
Turin, Italy
-
Keywords:
Rust; memory safety; Biabduction
en
Abstract:
This talk introduces a new prototype tool implementing biabduction-based shape analysis for unsafe Rust. It first motivates the need for automated safety requirements synthesis for unsafe Rust, then gives a short introduction to biabduction-based shape analysis, and lastly presents the new tool (with a demo).
en
Project title:
Verification and Analysis for Safety and Security of Applications in Life: 101160022 (European Commission)