Programas por senier.net/libsparkcrypto

Uma implementação formalmente verificada de algoritmos criptográficos usando a linguagem de programação SPARK. Para as provas completas da biblioteca, estão disponíveis a ausência de erros de tempo de execução. Alguns de seus