Topik · tlaplus

tlaplus

Repositori open source terpantau bertanda tlaplus, diurutkan berdasarkan bintang.

Repositori

5

Total bintang

4.909

Rata-rata bintang

982

Porsi

0,00%

Topik yang sering muncul berdampingan dengan tlaplus di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda tlaplus.

Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.

#1
quint ↗@quint-coTypeScript
Bahasa spesifikasi yang dapat dieksekusi dengan perkakas yang menyenangkan berdasarkan logika temporal tindakan (TLA)
★ 1.645+15Perubahan bintang dalam 7 hari terakhir
#2
Examples ↗@tlaplusTLA
Kumpulan spesifikasi TLA⁺ dengan berbagai tingkat kompleksitas.
★ 1.561+2Perubahan bintang dalam 7 hari terakhir
#3
practical-fm ↗@ligurio
Daftar perusahaan yang menggunakan metode formal verifikasi di industri
★ 609+0Perubahan bintang dalam 7 hari terakhir
#4
apalache ↗@apalache-mcScala
APALACHE: pemeriksa model simbolik untuk TLA+ dan Quint
★ 595+1Perubahan bintang dalam 7 hari terakhir
#5
BlockingQueue ↗@lemmyTLA
Tutorial "Weeks of debugging can save you hours of TLA+". Setiap commit git memperkenalkan konsep baru => periksa riwayat git!
★ 506+1Perubahan bintang dalam 7 hari terakhir

← Kembali ke topik