Fig. 6From: VeriSIM: A model-based learning pedagogy for fostering software design evaluation skills in computer science undergraduatesIn Challenge 2, learners can change values of variables in appropriate statesBack to article page