[B! static][why] masterqのブックマーク

masterq id:masterq

staticとwhyに関するmasterqのブックマーク (1)

GitHub - creusot-rs/creusot: Creusot helps you prove your code is correct in an automated fashion.
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. Reload to refresh your session. Dismiss alert
masterq 2022/11/15
RustコードをWhy3に翻訳して検査する。事前事後条件とループ不変条件を書ける。量化子を使える。注釈で使う関数は停止する。Why3側でどの程度手動の証明が必要なのだろう？Prustiより検査が速いと主張している

rust

static

verify

why

whyml
リンク
1

お知らせ

もっと読む

公式Twitter

@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
@hatebu
最新の人気エントリーの配信

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx