Topik · model-checking

model-checking

Repositori open source terpantau bertanda model-checking, diurutkan berdasarkan bintang.

Repositori

6

Total bintang

12.303

Rata-rata bintang

2.051

Porsi

0,00%

Topik yang sering muncul berdampingan dengan model-checking di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda model-checking.

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

#1
P ↗@p-orgC#
Bahasa pemrograman P.
★ 3.672+5Perubahan bintang dalam 7 hari terakhir
#2
kani ↗@model-checkingRust
Kani Rust Verifier
★ 3.374+20Perubahan bintang dalam 7 hari terakhir
#3
tlaplus ↗@tlaplusJava
TLC adalah pemeriksa model untuk spesifikasi yang ditulis dalam TLA+. TLA+Toolbox adalah IDE untuk TLA+.
★ 3.024+11Perubahan bintang dalam 7 hari terakhir
#4
alive2 ↗@AliveToolkitC++
Verifikasi otomatis dari optimasi LLVM
★ 1.162+5Perubahan bintang dalam 7 hari terakhir
#5
apalache ↗@apalache-mcScala
APALACHE: pemeriksa model simbolik untuk TLA+ dan Quint
★ 595+1Perubahan bintang dalam 7 hari terakhir
#6
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