サクサク読めて、アプリ限定の機能も多数!
RustHornはsafeなRustのみサポート。RustHornはCreusotのベース。RustBeltはunsafeなコードも検証できる。両者のいいところどりがこの研究。手動での証明がどの程度必要なのか気になる
masterq のブックマーク 2022/11/01 18:47
https://dl.acm.org/doi/abs/10.1145/3519939.3523704[rust][static][verify][language][paper][seplog]RustHornはsafeなRustのみサポート。RustHornはCreusotのベース。RustBeltはunsafeなコードも検証できる。両者のいいところどりがこの研究。手動での証明がどの程度必要なのか気になる2022/11/01 18:47
このブックマークにはスターがありません。 最初のスターをつけてみよう!
dl.acm.org2022/11/01
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
RustHornはsafeなRustのみサポート。RustHornはCreusotのベース。RustBeltはunsafeなコードも検証できる。両者のいいところどりがこの研究。手動での証明がどの程度必要なのか気になる
masterq のブックマーク 2022/11/01 18:47
このブックマークにはスターがありません。
最初のスターをつけてみよう!
https://dl.acm.org/doi/abs/10.1145/3519939.3523704
dl.acm.org2022/11/01
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /