Curricula Modeling and Checking