Increasing Student Self-Reliance and Engagement in Model-Checking Courses

[1]  Michael J. Butler,et al.  ProB: an automated analysis toolset for the B method , 2008, International Journal on Software Tools for Technology Transfer.

[2]  Henrik Nygren,et al.  Non-restricted Access to Model Solutions: A Good Idea? , 2019, ITiCSE.

[3]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[4]  Anya Tafliovich,et al.  On the Evaluation of Student Team Software Development Projects , 2015, SIGCSE.

[5]  Michael Leuschel,et al.  ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods , 2020, ABZ.

[6]  Annemarie S. Palincsar,et al.  Motivating Project-Based Learning: Sustaining the Doing, Supporting the Learning , 1991 .

[7]  Alex Radermacher,et al.  Gaps between industry expectations and the abilities of graduates , 2013, SIGCSE '13.

[8]  Helmut Veith,et al.  25 Years of Model Checking - History, Achievements, Perspectives , 2008, 25 Years of Model Checking.

[9]  Teaching Model Checking via Games and Puzzles , 2021 .

[10]  E. Mazur,et al.  Peer Instruction: Ten years of experience and results , 2001 .

[11]  Sebastian Krings,et al.  Prototyping Games Using Formal Methods , 2021 .

[12]  F. Keller.  "Good-bye, teacher...". , 1968, Journal of applied behavior analysis.

[13]  Dean Knudson,et al.  Investigating the skill gap between graduating students and industry expectations , 2014, ICSE Companion.

[14]  Leona Schauble,et al.  Students' Understanding of the Objectives and Procedures of Experimentation in the Science Classroom , 1995 .