libsparkcrypto

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 5.0/5 - ‎1 ‎Voti

Circa libsparkcrypto

Implementazione formalmente verificata di algoritmi crittografici utilizzando il linguaggio di programmazione SPARK. Per la libreria completa sono disponibili prove dell'assenza di errori di runtime. Alcuni dei suoi sottoprogrammi includono prove di correttezza parziale.