Sometimes, playing a game can do more than just pass some time.

SRI International, the Defense Advanced Research Projects Agency (DARPA), the Air Force Research Laboratory, and the University of California, Santa Cruz have teamed together to create a flash game called Binary Fission. However, it’s more than a game.

“Binary Fission was designed as a fun and accessible way for ‘citizen scientists’ to help increase the reliability and security of mission critical software by verifying that it is free of cyber vulnerabilities,” a press release sent to GamesBeat states. “Examples of critical software behavior, along with some pre-made invariants, are used to generate each level in Binary Fission.  The quarks in the game actually represent values of variables inside the critical software, and the sorting filters represent the potential invariants to be explored and applied. By combining filters efficiently, players can help to verify that the software is free of security vulnerabilities.”

You can play Binary Fission now at Verigames.