README 徽章
behaverify
BGitRank 68/100近期有维护
BehaVerify 是一个用 Python 开发的形式化验证工具，面向行为树，支持形式化方法与模型检验，可用于机器人领域。
当您通过本站链接购买或注册时，我们可能会获得一定佣金分成。
关注数
30分支数
10派生比 33.3%
近 7 天增长
0主要语言
Python许可 MIT
选型定位与评估参考
结合交付形态、适用场景与协议边界的结构化选型摘要
功能定位与交付形态
归属「办公效率」领域，主要以 开源软件工具 形态交付。
技术栈与社区判断
主要采用 Python 构建。社区规模见上方指标，可结合下方 Star 历史与提交记录判断其增长质量与持续性。
商用许可与维护核查
当前标注协议为 MIT，维护状态为「近期有维护」。在引入生产环境前，请核查官方 README 的依赖要求与原仓库 LICENSE 条款。
Star 历史与增长
数据来自采集快照
30 ★4 次观测
2026-11-122026-11-15
暂无此时间范围的趋势
查看最近观测数据
| 日期 | 关注数 |
|---|---|
| 2026-11-12 | 30 |
| 2026-11-13 | 30 |
| 2026-11-14 | 30 |
| 2026-11-15 | 30 |
项目档案
来自 GitHub 仓库元数据与生命周期记录
- 使用许可
- MIT
- 交付形态
- 开源软件工具
- 最新发布
- 2026-10-23
- 最近推送
- 2026-10-23
- 创建时间
- 2022-04-27 (4.6 年)
- Fork / Star 比
- 33.3%
下一 Star 里程碑30 / 100 ★ (30%)
获取源码与使用说明
克隆只下载源码；安装和依赖请以官方文档为准。
git clone https://github.com/verivital/behaverify.git克隆后进入项目目录 · cd behaverify
GitRank 项目评分
五维客观量化 · 数据覆盖度 60%
良好
- 维护状态近期推送与版本活跃度
- 27 / 30
- 交付信息安装指引、示例与运行前提
- 13 / 25
- 社区反馈关注规模与派生参与深度
- 11 / 20
- 近期趋势近 7 天净增动能与增速
- 7 / 15
- 使用信息用途描述、协议与主页完整度
- 10 / 10
评分基于仓库活跃度、交付文档结构、社区反馈与近期增长自动计算，不代表安全审计结论。
关于 behaverify 的常见问题 (FAQ)
verivital/behaverify 在 2026 年还在持续维护吗？+
verivital/behaverify 当前维护状态评级为「近期有维护」，GitRank 综合工程评分为 68/100。最近一次代码推送记录于 2026-10-23，最近标记发行版为 2026-10-23。
verivital/behaverify 可以用于商业项目吗？+
可以商用。verivital/behaverify 采用宽松开源协议（MIT），通常允许商业使用、私有化部署、修改及分发，只需保留原始版权与许可声明。
verivital/behaverify 有哪些好用的开源替代品或同类项目？+
当前可在 GitRank「办公效率」分类榜单与开源平替库中浏览同技术栈（Python）的其它活跃候选方案。