uwplse/verdi
@uwplseCoqで分散システムの実装を形式検証するためのフレームワーク
スター
626
フォーク
58
言語
Rocq Prover
ライセンス
BSD-2-Clause
最終プッシュ
7 か月前
関連 Intel（0）
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。
Coqで分散システムの実装を形式検証するためのフレームワーク
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。