scos / scos.teaching / Model Checking / MC2025 Public