libsparkcrypto

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 5.0/5 - ‎1 ‎Suara

Tentang libsparkcrypto

Implementasi algoritma kriptografi yang diverifikasi secara resmi menggunakan bahasa pemrograman SPARK. Untuk bukti pustaka lengkap tentang tidak adanya kesalahan run-time yang tersedia. Beberapa subprogramnya termasuk bukti kebenaran parsial.