登录 注册

搜索结果：verification（1 个）

今日热门（多来源加权） 本周热门 本月热门 最近新增 Star 增长最快 Fork 增长最快 商业潜力较高 适合个人开发者
推广
阿里云 没搜到想要的？这就是机会——自己造一个，一台入门级云服务器就能上线 去开机器
按分类缩小范围
全部分类 AI 应用与 AI Agent AI 模型与开发框架 自动化与工作流 数据分析与数据处理 网站与 SaaS 工具 效率与办公工具 图像、视频与音频 内容创作与媒体工具 电商与营销工具 游戏与娱乐 网络与基础设施 开发者工具 安全与隐私工具 教育与学习 其他

tamarin-prover

综合 51
Tamarin prover 是一个用 Haskell 开发的安全协议验证工具。它主要解决网络和安全协议的安全性分析与形式化验证问题。核心功能包括支持复杂协议的模型构建与分析、提供图形化输出展示、内置大量协议案例，并配套 Tree-sitter 语法及常见编辑器的语法高亮支持。
Haskell 561 170 2026-11-09
安全与隐私工具 数据分析与数据处理 效率与办公工具 部署：待检测