Schlingloff, Bernd-HolgerBernd-HolgerSchlingloff2022-03-142022-03-142021https://publica.fraunhofer.de/handle/publica/41122710.1007/978-3-030-71374-4_7Puzzles 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.eneducationformal methodgamesmodel checkingPuzzles004conference paper