libsparkcrypto

라이센스: 무료 ‎파일 크기: N/A
‎사용자 평가: 5.0/5 - ‎1 ‎투표

에 대해 libsparkcrypto

SPARK 프로그래밍 언어를 사용하여 암호화 알고리즘을 공식적으로 검증했습니다. 런타임 오류가 없는 전체 라이브러리 증명을 사용할 수 있습니다. 일부 하위 프로그램에는 부분적 정확성증명이 포함되어 있습니다.