Tutorials

Step-by-step guides to learn Accordant, from your first spec to advanced patterns.

Tutorial	Description
Your First Spec	Define state, operations, and expectations
Handling Errors	Model error conditions in your spec
Response-Dependent State	When state depends on system responses
Visualizing State Space	See the state machine your spec defines
Testing Race Conditions	Concurrent access and linearizability checking
Async Operations & Polling	Background work and step functions