Tutorials
Guided walk-throughs of Semantifyr. The Traffic Light series builds a small state machine from scratch and progressively introduces the language constructs you will need to read and write real semantic libraries.
If you are new to Semantifyr, start with Direct Modeling. Each tutorial can be followed directly in the live editor with no setup required.
Traffic Light series
| Tutorial | Description |
|---|---|
| Direct Modeling | Build a basic traffic light and intersection directly, with no reusable abstractions. Discover and fix a safety bug. Introduces classes, transitions, properties, choice/assume, containment, @VerificationCase, AG/EF. |
| Building a Library | Refactor the traffic light into a small Statechart library with first-class State and Transition classes. Introduces single inheritance, container/opposite, subsets, feature-typed variables, nothing, inline for choice, and the init-chain pattern. |
| Advanced Tutorial | Coming soon. Extend the small library with patterns from real semantic libraries: hierarchical states, entry actions, events with triggers, and a global emergency override. |