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