libsparkcrypto

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 5.0/5 - ‎1 ‎votos

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.