Examples

These examples demonstrate SpecLogician's modeling and reasoning capabilities across a range of domains. Each example first describes the model — domain types, predicates, transitions, and scenarios — then shows how to build it using speclogician CLI commands.

Each example also exists as a runnable demo in the SpecLogician CLI: speclogician demos ls to see them all.