libsparkcrypto
Licença: Grátis Tamanho do arquivo: N/A
Classificação dos utilizadores: 5.0/5 - 1 votos
Aguarde... O seu link de descarregamento está a ser verificado para conteúdo malicioso.
Poderá descarregar em 5 segundos.
Poderá descarregar em 5 segundos.
Sobre libsparkcrypto
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 subprogramas incluem provas de correção parcial.