behaverify
A tool for formal verification of behavior trees
- Latest release
- Dec 05, 2025
- Releases
- 2
- Known CVEs
- 0
- First release
- Oct 02, 2025
- License
- MIT
Repository
Source
- Stars
- —
- Forks
- —
- Open issues
- —
Security score
No OpenSSF Scorecard available for this repository.
Packages from this repo
No other tracked packages from this repository.
Insights
Activity
- Total releases
- 2
- Last 12 months
- 2
- Cadence
- ~2 months
- Dependencies
- 11
Releases per month
last 12 monthsRelease mix
- major 1
2
releases
Dependencies
Depends on
1.0.0-
graphviz
>=0.20.3
-
jinja2
>=3.1.5
-
matplotlib
>=3.10.0
-
onnx
>=1.18.0
-
onnxruntime
>=1.22.1
-
pandas
>=2.2.3
-
pillow
>=11.1.0
-
pytest
>=8.0.0
-
pytest-cov
>=4.1.0
-
py-trees
>=2.2.3
1–10 of 11
Used by
Nothing tracked depends on this yet.
Releases