stateright/stateright

Pemeriksa model untuk mengimplementasikan sistem terdistribusi.

↗ Buka di GitHub

Bintang

1.869

Fork

62

Bahasa

Rust

Lisensi

MIT

Push terakhir

1 tahun yang lalu

Rust distributed-systems actor-model model-checker paxos

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.