Fraunhofer-Gesellschaft

Publica

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)
S.143-158
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)
Englisch
Konferenzbeitrag
Fraunhofer FOKUS ()
education; formal method; games; model checking; Puzzles

Abstract
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.

: http://publica.fraunhofer.de/dokumente/N-635069.html