collaborators

1 paper

cs.PL2026

Corten - Foundational Verification of Rust Programs

František Farka, Carmine Abate, Sven Linker +1

We present Corten, a foundational verification framework for Rust programs in the Rocq theorem prover, built on the Iris separation logic framework. Corten provides the first seman…