Guides

Practical guides for working with SpecLogician day-to-day — from CLI usage to team workflows and tool integrations.

  • CLI guide — how to make typed changes to the formal state using speclogician ch, view, find, reach, and undo
  • View commands — inspect domain model components, scenarios, artifacts, state instances, and diffs
  • Workflows — recommended iteration loops for teams and agentic tooling, whether starting from tests/logs or from requirements
  • Find commands — search for predicates, transitions, scenarios, usages, and artifacts
  • Reachability commands — analyze scenario connectivity, safety, and liveness properties
  • Integrations — how SpecLogician fits into a modern agentic toolchain with CodeLogician, ImandraX, and other tools
Previous← Vs CEGAR
NextCLI guide →