Published July 17, 2024 | Version v1
Software Open

2024 SEFM Artifact for BehaVerify (Formalizing Stateful Behavior Trees)

Authors/Creators

  • 1. ROR icon Vanderbilt University

Description

The artifact installs and runs BehaVerify, the tool that is presented in the paper. The artifact is capable of reproducing all results produced by BehaVerify in the paper and provides details on how to install BehaVerify, run the tests, and details regarding graphs. An unfortunate limitation is that the tool we compare to cannot be run via the command line, so the artifacts ability to reproduce some of the results is limited.

Files

2024_SEFM.zip

Files (445.2 MB)

Name Size Download all
md5:73b03f549977b9ef76aea98233424013
445.2 MB Preview Download

Additional details

Software

Repository URL
https://github.com/verivital/behaverify/tree/main/REPRODUCIBILITY/2024_SEFM
Programming language
Python
Development Status
Active