Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Teaching Model Checking via Games and Puzzles

: Schlingloff, Bernd-Holger


Cerone, Antonio (Ed.):
Formal Methods - Fun for Everybody. First International Workshop, FMFun 2019 : Bergen, Norway, December 2-3, 2019; Revised Selected Papers
Cham: Springer Nature, 2021 (Communications in computer and information science 1301)
ISBN: 978-3-030-71373-7 (Print)
ISBN: 978-3-030-71374-4 (Online)
International Workshop "Formal Methods - Fun for Everybody" (FMFun) <1, 2019, Bergen>
Bundesministerium für Bildung und Forschung BMBF (Deutschland)
01 S16043G/E; CrESt
Collaborative Embedded Systeme (CREST)
Fraunhofer FOKUS ()
education; formal method; games; model checking; Puzzles

Puzzles and games give a strong motivation for humans to deal with formal objects: people spend hours and hours in seemingly useless board games, moving pebbles or cards according to prescribed rules, trying to beat their opponent in a game or just solving a puzzle. In this position paper we show how to use this human obsession in order to teach students formal methods, in particular, SAT solving and model checking.