Verifying safe clients of unsafe code and trait implementations in Rust
Jakob Beckmann[Google Scholar] [DBLP] [Citeseer]
Masters thesis
Programming Methodology Group, Institute for Programming Languages and Systems, ETH Zürich
Zürich
April 2020
Note(s): Rust language, Prusti verifier, Rust unsafe code
Programming Methodology Group, Institute for Programming Languages and Systems, ETH Zürich
Zürich
April 2020
Note(s): Rust language, Prusti verifier, Rust unsafe code