Papers related to RustBelt verifier
- RustBelt: Securing the foundations of the Rust programming language [jung:popl:2017]
- GhostCell: Separating permissions from data in Rust [yanovski:unknown:2021]
RustBelt verifier
[Google Scholar]
Notes:
Rust language,
Rust unsafe code,
Coq theorem prover,
permission logic,
undefined behaviour,
mir
Papers: jung:popl:2017
Papers: jung:popl:2017