サクサク読めて、アプリ限定の機能も多数!
Rustでは借用さえなんとかすれば分離論理は導入しやすいという話?Creusot,Aeneas,Verusについて調べたが実用レベルにあるようには見えなかった
masterq のブックマーク 2024/05/31 07:22
xavxav - Visions of the future: formal verification in Rust[rust][verify][seplog][pointer][memory]Rustでは借用さえなんとかすれば分離論理は導入しやすいという話?Creusot,Aeneas,Verusについて調べたが実用レベルにあるようには見えなかった2024/05/31 07:22
このブックマークにはスターがありません。 最初のスターをつけてみよう!
xav.io2024/05/23
May 22, 2024 In response to a recent Boats article, I mentioned that Rust’s type system drastically changes things for verification. This comment seems to have aroused a lot of interest, so I figur...
4 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
Rustでは借用さえなんとかすれば分離論理は導入しやすいという話?Creusot,Aeneas,Verusについて調べたが実用レベルにあるようには見えなかった
このブックマークにはスターがありません。
最初のスターをつけてみよう!
xavxav - Visions of the future: formal verification in Rust
May 22, 2024 In response to a recent Boats article, I mentioned that Rust’s type system drastically changes things for verification. This comment seems to have aroused a lot of interest, so I figur...
4 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /