Language Reference
- Introduction
- File Structure
- Keywords and Reserved Words
- Actions
- Functions
- Roles
- Flow Modifiers
- Fairness
- Assertions
- Data Structures
- Control Flow
- Nondeterminism
- State Management
- Fault Injection
- Configuration
- Symmetry Reduction
- Best Practices
- Quick Reference
- Standard Library
- Known Issues and Limitations
- Gotchas and Common Issues