SRI Think Tank and University Turn Software Verification into Gameplay

SRI and UCSC researchers have made a game out of software verification called Xylem. The iPad puzzle game helps programmers find “loop invariants,” an important part of formal software verification.