Getting Started

Install BehaVerify, verify the bundled DrunkenDrone example, and author your first .tree model.

---

Installation

pip install . plus nuXmv for the verification mode.

Installation

Quickstart

End-to-end on examples/DrunkenDrone/ in five minutes.

Quickstart

Your first model

Author a minimal .tree file from scratch.

Your First Model