项目描述 ：
用于安全协议验证的Tamarin证明器的主要源代码存储库。

高级语言： Haskell

项目主页： https://tamarin-prover.github.io/

项目地址: git://github.com/tamarin-prover/tamarin-prover.git

创建时间： 2012-02-22T20:03:23Z
项目社区：https://github.com/tamarin-prover/tamarin-prover
开源协议：GNU General Public License v3.0
下载