README badge
GitRank Listed Badge
Open SVG
Vector SVG badge linking to this pageFor GitHub README.md & Markdown editors
behaverify
BehaVerify is a Python-based formal verification tool for behavior trees, supporting formal methods and model checking, aimed at robotics applications.
We may earn commissions when you purchase through the links on this site.
33.3% fork ratio
License: MIT
Selection & positioning guide
Structured overview of delivery form, target scenarios, and licensing boundaries
Positioning & delivery
Categorized under Productivity and delivered as Open-source software.
Stack & community signals
Built primarily with Python. Community scale is summarized in the metrics above; use the star history and commit activity below to judge the quality and durability of its growth.
License & maintenance check
Licensed under MIT with status "Recently maintained". Verify dependency requirements and the upstream LICENSE before production adoption.
Star history & growth
Based on collected snapshots
No trend in this date range
Inspect recent observations
| Date | Stars |
|---|---|
| 2026-11-12 | 30 |
| 2026-11-13 | 30 |
| 2026-11-14 | 30 |
| 2026-11-15 | 30 |
Project profile
Repository metadata & lifecycle signals
- License
- MIT
- Delivery form
- Open-source software
- Latest release
- 2026-10-23
- Last push
- 2026-10-23
- Created
- 2022-04-27 (4.6 yrs)
- Fork / Star ratio
- 33.3%
Get the source & start here
Cloning downloads source; follow official setup and dependency instructions.
git clone https://github.com/verivital/behaverify.gitAfter cloning, enter the project directory · cd behaverify
GitRank Project Score
5-dimension model · 60% input coverage
Good
- MaintenanceRecent push & release cadence
- 27 / 30
- Delivery informationSetup docs, examples & prerequisites
- 13 / 25
- Community signalsStar scale & fork participation
- 11 / 20
- Recent growth7-day net gain & momentum
- 7 / 15
- Usage informationDescription, license & homepage
- 10 / 10
Computed automatically from repository activity, documentation structure, community signals, and recent growth.
Frequently Asked Questions about behaverify
Is verivital/behaverify still actively maintained in 2026?+
verivital/behaverify is currently rated "Recently maintained" with a GitRank engineering score of 68/100. Its latest recorded code push was on 2026-10-23, with the latest tagged release on 2026-10-23.
Can I use verivital/behaverify for commercial projects?+
Yes. verivital/behaverify uses the permissive MIT open-source license, which generally permits commercial use, modification, private deployment, and distribution provided copyright notices are retained.
What are the best open-source alternatives to verivital/behaverify?+
Explore comparable Python projects in the GitRank Productivity leaderboard and software alternatives directory.
How fast is verivital/behaverify growing on GitHub?+
Net Star change over the past 7 days: 0 Stars.