DiGRA/FDG '16 - Proceedings of the First International Joint Conference of DiGRA and FDG
Dundee, Scotland: Digital Games Research Association and Society for the Advancement of the Science of Digital Games, August, 2016
Number: 1
Volume: 13
ISBN / ISNN: ISSN 2342-9666
This paper introduces the formal software verification game, Binary Fission. After outlining the problem space of formal software verification games, we give a brief overview of Binary Fission. We then go into detail about several important design goals we had in mind, such as affording rapid decision making, based on other software verification games and our own past experience. We detail how Binary Fission achieves these design goals, and then talk about several design lessons we learned. We discuss lessons learned, both in the parts of the game that performed well, and in the parts that did not quite work as intended.