Xylem: The Code of Plants

Selected screenshots, 2013, iPad 2 and iPad Retina game.

Xylem: The Code of Plants is an iPad game designed to crowd-source the cumbersome and expensive task of formal software verification. Xylem turns software source code into a simple game, inviting players to prove properties about that code, while sharpening algebra and logic skills. Proving properties about the source code helps to point out potential security vulnerabilities in software.

A browser version of the game is availible at the Verigames site.