Getting started

Get up and running with SpecLogician in minutes. This section walks you from installation through building your first formal model.

  1. Installation — install the CLI via pip and configure your ImandraX API key
  2. First 5 minutes — build a complete formal model from scratch for a simple order validation rule
  3. First commands — learn the essential CLI command groups: ch for changes, view for inspection, find for search, and reach for reachability analysis

By the end of this section you'll have a working SpecLogician setup and a verified formal model with predicates, transitions, and scenarios.

Previous← Why it works for LLMs
NextInstallation →