uwplse/verdi
@uwplseEin Framework zur formalen Verifikation von Implementierungen verteilter Systeme in Coq
Sterne
625
Forks
58
Sprache
Rocq Prover
Lizenz
BSD-2-Clause
Letzter Push
vor 7 Monaten
Verwandte Intel (0)
Noch keine verwandte Intel
Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.