Reference¶

Short, precise, look-up-oriented documents. For prose walk-throughs, see User Guide.

CLI

Full behaverify command-line reference.

File formats

.tree / .smv / monitor outputs.

Glossary

BT / model-checking / nuXmv terms in one place.

Publications

Papers describing BehaVerify’s methods and results.