Hacker News
Linking pages
- IPad game's underlying mission: checking software code http://www.sfgate.com/technology/dotcommentary/article/IPad-game-s-underlying-mission-checking-software-5045964.php 0 comments
- Aaron Tomb on crowd-sourced formal verification - Machine Intelligence Research Institute http://intelligence.org/2014/05/29/aaron-tomb/ 0 comments
- Play video games to help military secure its software | New Scientist http://www.newscientist.com/article/mg22029474.900-play-video-games-to-help-military-secure-its-software.html#.Uqsqw_RDs7B 0 comments