creusot-rs/creusot

Rust コードの正当性証明を支援する Creusot

↗ GitHub で開く

スター

1,836

フォーク

90

言語

Rust

ライセンス

LGPL-2.1

最終プッシュ

1 週間前

Rust rust rust-lang formal-methods formal-verification proof verification contracts deductive-reasoning why3

関連 Intel はまだありません

このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。