サクサク読めて、アプリ限定の機能も多数!
RustコードをWhy3に翻訳して検査する。事前事後条件とループ不変条件を書ける。量化子を使える。注釈で使う関数は停止する。Why3側でどの程度手動の証明が必要なのだろう?Prustiより検査が速いと主張している
masterq のブックマーク 2022/11/15 13:38
GitHub - creusot-rs/creusot: Creusot helps you prove your code is correct in an automated fashion.[rust][static][verify][why][whyml]RustコードをWhy3に翻訳して検査する。事前事後条件とループ不変条件を書ける。量化子を使える。注釈で使う関数は停止する。Why3側でどの程度手動の証明が必要なのだろう?Prustiより検査が速いと主張している2022/11/15 13:38
このブックマークにはスターがありません。 最初のスターをつけてみよう!
github.com/creusot-rs2022/11/15
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Re...
2 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
RustコードをWhy3に翻訳して検査する。事前事後条件とループ不変条件を書ける。量化子を使える。注釈で使う関数は停止する。Why3側でどの程度手動の証明が必要なのだろう?Prustiより検査が速いと主張している
masterq のブックマーク 2022/11/15 13:38
このブックマークにはスターがありません。
最初のスターをつけてみよう!
GitHub - creusot-rs/creusot: Creusot helps you prove your code is correct in an automated fashion.
github.com/creusot-rs2022/11/15
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Re...
2 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /