viperproject/prusti-dev

Viper 検証基盤に基づいた Rust 向け静的検証ツール

↗ GitHub で開く

スター

1,809

フォーク

125

言語

Rust

ライセンス

NOASSERTION

最終プッシュ

2 週間前

Rust rust formal-verification verification viper

関連 Intel はまだありません

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