Topik · verification

verification

Repositori open source terpantau bertanda verification, diurutkan berdasarkan bintang.

40 repositori

#31
ed25519-dalek ↗@dalek-cryptography
DIARSIPKAN/DIPINDAHKAN: silakan kunjungi lokasi baru
★ 704+0Perubahan bintang dalam 7 hari terakhir
#32
CreuSAT ↗@sarskoRust
CreuSAT - SAT solver yang diverifikasi secara formal, ditulis dalam Rust dan diverifikasi dengan Creusot.
★ 698+2Perubahan bintang dalam 7 hari terakhir
#33
Cosette ↗@uwdbLean
Cosette adalah pemecah SQL otomatis.
★ 686+0Perubahan bintang dalam 7 hari terakhir
#34
pysmt ↗@pysmtPython
pySMT: Pustaka untuk manipulasi dan pemecahan rumus SMT
★ 638+0Perubahan bintang dalam 7 hari terakhir
#35
awesome-open-hardware-verification ↗@ben-marshall
Daftar alat dan kerangka kerja verifikasi perangkat keras sumber terbuka dan gratis.
★ 622+1Perubahan bintang dalam 7 hari terakhir
#36
apalache ↗@apalache-mcScala
APALACHE: pemeriksa model simbolik untuk TLA+ dan Quint
★ 596+3Perubahan bintang dalam 7 hari terakhir
#37
stp ↗@stpC++
Simple Theorem Prover, pemecah SMT yang efisien untuk bitvector, floating-point, dan array.
★ 588+1Perubahan bintang dalam 7 hari terakhir
#38
witness ↗@in-totoGo
Witness adalah kerangka kerja yang dapat dicolokkan untuk manajemen risiko rantai pasokan perangkat lunak. Alat ini mengotomatiskan, menormalisasi, dan memverifikasi asal artefak perangkat lunak.
★ 546+0Perubahan bintang dalam 7 hari terakhir
#39
karamel ↗@FStarLangOCaml
KaRaMeL adalah alat untuk mengekstrak program F* tingkat rendah ke dalam kode C yang mudah dibaca
★ 518+0Perubahan bintang dalam 7 hari terakhir
#40
VST ↗@PrincetonUniversityRocq Prover
Rantai Alat Perangkat Lunak Terverifikasi (Verified Software Toolchain)
★ 508+1Perubahan bintang dalam 7 hari terakhir

← Kembali ke topik