libsparkcrypto

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 5.0/5 - ‎1 ‎投票

に関しては libsparkcrypto

SPARK プログラミング言語を使用した暗号アルゴリズムの正式な実装。ランタイム エラーがないことを示す完全なライブラリの証明が利用可能です。そのサブプログラムの一部には、部分的な正確性の証明が含まれています。