Copy

View in your browser

November 30, 2015

DARPA’s Crowd Sourced Formal Verification (CSFV) program intends to create casual computer games that can also perform formal verification of software, a process that checks that software is free from flaws that can make it operate improperly or be vulnerable to misuse.

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 www.chekofv.com or www.binaryfission.net.
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
Get Connected
connect through facebook connect through google plus

Subscription info

This message was sent to: <<Email Address>>. It is never our intention to send unwanted e-mail. You can unsubscribe from this newsletter or update your email address here