formal-verification
Repositori open source terpantau bertanda formal-verification, diurutkan berdasarkan bintang.
Topik terkait
Topik yang sering muncul berdampingan dengan formal-verification di repositori yang sama.
Yang sedang naik
Repositori yang dibuat dalam 90 hari terakhir dan bertanda formal-verification.
Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.
- #1★ 3.673+3Perubahan bintang dalam 7 hari terakhir
- #2
HACL*, pustaka kriptografi yang diverifikasi secara formal yang ditulis dalam F*
★ 1.836+0Perubahan bintang dalam 7 hari terakhir - #3★ 1.836+2Perubahan bintang dalam 7 hari terakhir
- #4
Verifikator statis untuk Rust, berbasis infrastruktur verifikasi Viper.
★ 1.809+2Perubahan bintang dalam 7 hari terakhir - #5★ 1.190+2Perubahan bintang dalam 7 hari terakhir
- #6
Alat verifikasi formal untuk Rust: periksa 100% kasus eksekusi program Anda untuk membuat aplikasi yang lebih aman.
★ 1.161+0Perubahan bintang dalam 7 hari terakhir - #7★ 946+17Perubahan bintang dalam 7 hari terakhir
- #8
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 - #9
CreuSAT - SAT solver yang diverifikasi secara formal, ditulis dalam Rust dan diverifikasi dengan Creusot.
★ 698+2Perubahan bintang dalam 7 hari terakhir - #10
Firewall konsekuensi untuk tindakan mesin. EMILIA Gate memverifikasi otoritas yang tepat sebelum uang, kode, izin, infrastruktur, atau perubahan status yang diatur; protokol terbuka membuat bukti dapat diverifikasi secara independen.
★ 649-29Perubahan bintang dalam 7 hari terakhir - #11
Daftar alat dan kerangka kerja verifikasi perangkat keras sumber terbuka dan gratis.
★ 622+1Perubahan bintang dalam 7 hari terakhir - #12
Daftar perusahaan yang menggunakan metode formal verifikasi di industri
★ 610+1Perubahan bintang dalam 7 hari terakhir - #13★ 508+1Perubahan bintang dalam 7 hari terakhir
