This game is part of an NSF-sponsored research for undergraduates on software safety at UT-Dallas (https://paris.utdallas.edu/reu).  The game serves several, cross-purposes: it will hopefully teach and inspire programmers who play the game to care more about software quality, it is a chance for us to experiment with safety-critical development cycles and testing methods, and it will serve as a repository of important information on software safety. 

Our final report can be viewed in-game by choosing "report" from the main menu, and a video summarization of our findings can be watched below.