Programas por senier.net/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.