libsparkcrypto
Licentie: Gratis Bestandsgrootte: N/A
Gebruikersbeoordeling: 5.0/5 - 1 Stemmen
Een ogenblik geduld... Uw downloadlink wordt geverifieerd op schadelijke inhoud.
Je het binnen 5 seconden downloaden.
Je het binnen 5 seconden downloaden.
Over libsparkcrypto
Een formeel geverifieerde implementatie van cryptografische algoritmen met behulp van de SPARK-programmeertaal. Voor de volledige bibliotheek zijn bewijzen van het ontbreken van runtime fouten beschikbaar. Sommige van de subprogramma's bevatten bewijzen van gedeeltelijke juistheid.