Have you found the error? A formal framework for learning game verification

Abstract

Specifications of Multi-Player Learning Games (MPLG) are expressed collaboratively by designers who don't speak the same conceptual language. Often, specifications contain design errors and inconsistencies that are difficult to detect in playtests. In this paper, we present a formal framework to assist designers in modeling and automatic verification of learning games at the design stage of development process. © 2014 Springer International Publishing Switzerland.