7 citations · 9 across the 6 of their papers we have counts for
1 paper · 2 filters
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…