Getting Started

This section covers all the basic information you need to get started with the Apalache model checker.

If you just need to get the model checker up and running, you can jump to