concepts:
- id: model-checking
title: Model Checking
prerequisites: []
mastery_signals:
- compare model assumptions