Topik · formal-methods

formal-methods

Repositori open source terpantau bertanda formal-methods, diurutkan berdasarkan bintang.

Repositori

10

Total bintang

21.663

Rata-rata bintang

2.166

Porsi

0,00%

Topik yang sering muncul berdampingan dengan formal-methods di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda formal-methods.

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

#1
sled ↗@spacejamRust
basis data tersemat beta kelas atas
★ 9.080+1Perubahan bintang dalam 7 hari terakhir
#2
P ↗@p-orgC#
Bahasa pemrograman P.
★ 3.673+3Perubahan bintang dalam 7 hari terakhir
#3
hacl-star ↗@hacl-starF*
HACL*, pustaka kriptografi yang diverifikasi secara formal yang ditulis dalam F*
★ 1.836+0Perubahan bintang dalam 7 hari terakhir
#4
creusot ↗@creusot-rsRust
Creusot membantu Anda membuktikan bahwa kode Rust Anda benar.
★ 1.836+2Perubahan bintang dalam 7 hari terakhir
#5
quint ↗@quint-coTypeScript
Bahasa spesifikasi yang dapat dieksekusi dengan perkakas yang menyenangkan berdasarkan logika temporal tindakan (TLA)
★ 1.654+12Perubahan bintang dalam 7 hari terakhir
#6
aeneas ↗@AeneasVerifOCaml
Rantai alat verifikasi untuk program Rust
★ 948+19Perubahan bintang dalam 7 hari terakhir
#7
magmide ↗@magmideRocq Prover
Bahasa pembuktian bertipe-dependen yang dirancang agar insinyur perangkat lunak dapat membuat kode bare metal yang terbukti benar.
★ 835+0Perubahan bintang dalam 7 hari terakhir
#8
CreuSAT ↗@sarskoRust
CreuSAT - SAT solver yang diverifikasi secara formal, ditulis dalam Rust dan diverifikasi dengan Creusot.
★ 698+2Perubahan bintang dalam 7 hari terakhir
#9
practical-fm ↗@ligurio
Daftar perusahaan yang menggunakan metode formal verifikasi di industri
★ 610+1Perubahan bintang dalam 7 hari terakhir
#10
VST ↗@PrincetonUniversityRocq Prover
Rantai Alat Perangkat Lunak Terverifikasi (Verified Software Toolchain)
★ 508+1Perubahan bintang dalam 7 hari terakhir

← Kembali ke topik