Programas por senier.net/libsparkcrypto
-
libsparkcrypto Grátis
Uma implementação formalmente verificada de algoritmos criptográficos usando a linguagem de programação SPARK. Para a biblioteca completa, estão disponíveis provas da ausência de erros de tempo de execução. Alguns dos seus su