developing verification-driven learning cases
We have proposed a verification-driven learning model that facilitates students' involvement in real-world computing tasks starting from their early computing courses and continuing throughout their entire computing studies. The initial purpose of the verification-driven learning model is to enrich the context of lessons, courses, and the CS programs, especially in the early stage of students' learning. Verification-driven learning cases can serve to supplement other teaching approaches such as process-oriented learning model. Students' independent practice of verification will encourage them to consider the real-world applications throughout the simulation.
verification-driven learning tdl software verification