Tamarin Prover

テクノロジーカテゴリーの変更を依頼記事元:

2 usersがブックマークコメント

記事へのコメント1件

注目コメント
新着コメント

igrep “security protocol verification tool that supports both falsification and unbounded verification in the symbolic model.”

2018/04/06 リンク

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

Tamarin Prover

Sourcecode and Mailing List The Tamarin prover is open-source software. Its code and issue tracke... Sourcecode and Mailing List The Tamarin prover is open-source software. Its code and issue tracker are available at https://github.com/tamarin-prover/tamarin-prover. Note that the issue tracker is only intended for tool issues, i.e., reporting potential bugs, and not for asking questions. Tamarin's low-volume mailing list/forum for announcements, asking questions, and discussion is https://groups.