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