Curriculum Model Checking: Declarative Representation and Verification of Properties