Fig. 5From: VeriSIM: A model-based learning pedagogy for fostering software design evaluation skills in computer science undergraduatesThe agent explaining the state diagram execution for Challenge 1Back to article page