Grateful thanks from the Xylem/BinaryFission Team!
To all the dedicated gaming enthusiasts and citizen scientists who sought out our corner of cyberspace, heartfelt thanks from everyone at SRI, UC Santa Cruz, and CEA. We much appreciate the valuable time you spent accompanying us on our voyage of discovery. Designing and building software verification games is hard, but having real players who genuinely liked our games was super gratifying, and your participation sustained us in so many ways. We are confident that our core tools and games will continue to be available, for players and researchers alike, well beyond the end of the official CSFV program; for more information, please check back with us at or
Dynamakr Devs Thank You for Playing!
The CircuitBot / Dynamakr team—Left Brain Games, Kestrel Technology and Texas Tech University—would like to send a heartfelt thanks for all the help and support to the folks at DARPA, members of the other teams—StormBound, Ghost Map, Flow Jam, Xylem—to TopCoder, CRA, GameDocs, and most of all to the adventurous people out there who played our games making the Crowd Sourced Formal Verification project a success.
Gratitude from the Ghost Map: Hyperspace team!
Many thanks to all our Ghost Map and Ghost Map: Hyperspace players. All your rift sealing and mind-lock subverting has not only completed proofs of software correctness but also advanced the science of formal methods and our understanding of how best to transform important but challenging problems into bite-sized pieces that the general public can solve. Special thanks to our guru players thegreenkacheek and jamieofansa for their dedication and incredibly valuable feedback.
Thanks for Playing Monster Proof!
Galois and voidALPHA would like to thank you, our players, for joining us on this amazing adventure. We hope you enjoyed our games, and look forward to seeing you online soon! We’d also like to thank DARPA and all the other teams for their contributions and help throughout the project.
Thanks and Keep Playing Paradox!
Our time as part of the Verigames family may be coming to a close, but that doesn’t mean the fun has to stop. We are pleased to announce you can continue to play Paradox straight from the Center for Game Science website. Paradox wouldn't have been possible without the dedicated efforts of many people over the years and we want to say thank you for playing along with us. 
Nova Barlow, Francois Boucher-Genesse, Brian Britigan, Dan Brown, Jonathan Burke, Matthew Burns, Craig Conner, Seth Cooper, Werner Dietl, Stephanie Dietzel, Michael Ernst, Barbara Krug, Marianne Lee, Calvin A Loncaric, David McArthur, Nathaniel Mote, Tim Pavlik, Zoran Popović, Eric C Reed, Tyler Rigsby, Brian Walker