libsparkcrypto

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 5.0/5 - ‎1 ‎Głosów

O libsparkcrypto

Formalnie zweryfikowana implementacja algorytmów kryptograficznych przy użyciu języka programowania SPARK. Dla pełnej biblioteki są dostępne dowody braku błędów w czasie wykonywania. Niektóre z jego podprogramów zawierają dowody częściowej poprawności.