WAIT! Without signing in or registering onto the forum, you will only be able to see a limited amount of our forum's content. To see everything that we have to offer, please sign in or register. If you are new to the forum and wish to register, it is recommended to be at least 13 years old as profanity and mature discussion goes without prohibition under normal circumstances. Thank you!

HomeSearchRegisterLog in
Forum revival in process, stay tuned!
If you have trouble logging in or have lost your password, email an administrator.
If you have an idea on how to improve the forum, please post your suggestions!


 Playable Crowdsourced Formal Verification

Go down 

Posts : 322
Join date : 2013-08-13

Playable Crowdsourced Formal Verification Empty
PostSubject: Playable Crowdsourced Formal Verification   Playable Crowdsourced Formal Verification I_icon_minitimeWed 19 Feb 2014, 11:23 pm

Perhaps some of y'all are old enough (>= 18) to legally play some of these games. They're an interesting mixture of computer science and storytelling, and for a good cause - the security of open-source software. (It is funded by DARPA, which you might object to.)

There's some trailers and a small amount of coverage online - here, for instance. (Please ignore most of the commenters.)

Playable Crowdsourced Formal Verification Green04Playable Crowdsourced Formal Verification Red03

Each game should be reasonably challenging. The reason people are being crowdsourced to solve these problems is because current software lacks their creativity (and experts are too rare/expensive).

Verigames site

(I'd put this in GD with the videogame stuff, but it's science-y too, I think. Hopefully the title will suffice to attract gamers with time to spare.)

the density function of the normal distribution
a discrete sampling, up to variance and cutoff
1d6 - 1d6

Δ ◦○◦ й
Back to top Go down
Playable Crowdsourced Formal Verification
Back to top 
Page 1 of 1

Permissions in this forum:You cannot reply to topics in this forum
 :: General :: Intelligent Discussion-
Jump to: