apalache-mc/apalache
@apalache-mcAPALACHE: pemeriksa model simbolik untuk TLA+ dan Quint
Bintang
596
Fork
53
Bahasa
Scala
Lisensi
Apache-2.0
Push terakhir
3 hari 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.