libsparkcrypto
Licencia: Gratis Tamaño del archivo: N/A
Calificación de usuarios: 5.0/5 - 1 Votos
Espera... El enlace de descarga se está verificando para ver si hay contenido malintencionado.
Podrás descargarlo en 5 segundos.
Podrás descargarlo en 5 segundos.
acerca de libsparkcrypto
Una implementación formalmente verificada de algoritmos criptográficos utilizando el lenguaje de programación SPARK. Para las pruebas de biblioteca completas de la ausencia de errores en tiempo de ejecución están disponibles. Algunos de sus subprogramas incluyen pruebas de corrección parcial.