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!

HomeFAQCalendarSearchMemberlistUsergroupsRegisterLog 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!

Share | 

 Playable Crowdsourced Formal Verification

Go down 

Posts : 322
Join date : 2013-08-13

PostSubject: Playable Crowdsourced Formal Verification   Wed 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.)

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
View user profile
Playable Crowdsourced Formal Verification
Back to top 
Page 1 of 1
 Similar topics
» ♛ Winter Formal Royalty Voting ♛
» ♛ Winter Formal Royalty Nominations ♛
» The 2015 Winter Formal
» The Costume Ball ( Open Rp )
» The Winter Formal

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