Zenet is a project to model and verify emergent software throughout the development process. A monitor watches instrumented software as it runs and offer programmers the ability to specify repairs of the software should the software specification ever be violated. It's like specifying exception handling for a system's design. For game designers, Zenet lets you specify negative game experiences and repair them if they occur. A complete implementation of the Zenet architecture was done in a project named Lakitu. Lakitu uses the Mayet monitoring framework to monitor events from a Super Mario World-style game, and issues repairs when the game fails. The game can be switched between the correct, original, implementation, and a buggy implementation that contains examples from as many applicable video game failure taxonomy categories as possible.
Lakitu, a Zenet demo
Software Introspection Laboratory