uwplse/verdi
@uwplseKerangka kerja untuk memverifikasi secara formal implementasi sistem terdistribusi di Coq
Bintang
626
Fork
58
Bahasa
Rocq Prover
Lisensi
BSD-2-Clause
Push terakhir
7 bulan yang lalu
Intel terkait (0)
Belum ada intel terkait
Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.