You just read:

SRI International and UC Santa Cruz Turn Software Verification into Gameplay

News provided by

SRI International

Dec 09, 2013, 03:47 ET