Software verification games: Designing Xylem, The Code of Plants
Designing games with a purpose