Verdi
分散システムを形式的に検証して実装するCoqのフレームワーク
uwplse/verdi A framework for formally verifying distributed systems implementations in Coq
確認用
Q. Verdi
参考
関連
調査用
/pogi-log/Google.icon Verdi
/pogi-log/Wikipedia.icon
Verdi - Wikipedia(日)
Verdi(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
Verdi - Wikipedia(英)
Verdi(検索) - Wikipedia(英)
#Fleeting_Notes