libsparkcrypto

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 5.0/5 - ‎1 ‎Phiếu

Về libsparkcrypto

Việc triển khai chính thức các thuật toán mật mã được xác minh bằng ngôn ngữ lập trình SPARK. Đối với các bằng chứng thư viện đầy đủ về sự vắng mặt của thời gian chạy lỗi có sẵn. Một số chương trình con của nó bao gồm các bằng chứng về tính chính xác một phần.