4 ms·
An interesting project leveraging games for "real work" is Verigames. It's a DARPA-funded project that creates casual games that drive a crowd-source formal ver
by cpeterso 11y ago
An interesting project leveraging games for "real work" is Verigames. It's a DARPA-funded project that creates casual games that drive a crowd-source formal verification system for software.
https://www.verigames.com/FAQ https://www.verigames.com/FAQ