RustBelt
https://plv.mpi-sws.org/rustbelt/
論文
https://dl.acm.org/citation.cfm?doid=3177123.3158154
Rust
のメモリ安全性を形式的に証明する
Rustがコンパイルに通れば、メモリ安全であることの証明
Iris
Misreading Chat
1
の後半