Posts Tagged with "beginner"

Skip to Content

Home Documentation Blog Community

Home
- Introduction
- Why?
- What does Quint do?
- Getting Started
- Use‑Cases
- Talks & Podcasts
- FAQ
- Writing specifications
- Language basics
- Cheatsheet ↵
- Examples
- Using specifications
- Checking Properties
- Interacting with REPL
- Literate Specifications
- Model-based Testing
- How the tools work
- Model Checkers
- Understanding the Simulator
- Reference Documentation
- Language Manual
- CLI Manual
- Built-in Operators
- Design & Development
- Design principles
Blog
- Community

Posts Tagged with "beginner"

Holiday protocols: Secret Santa with Quint 🎅

A fun exploration of drawing strategies for Secret Santa and their properties.

December 23, 2023

© 2025 Informal Systems.

Privacy Policy Cookie Policy