Ready to be published? LXer is read by around 350,000 individuals each month, and is an excellent place for you to publish your ideas, thoughts, reviews, complaints, etc. Do you have something to say to the Linux community?
Secret-squirrel military tech bureau DARPA has designed a series of computer games which can help to verify open source software. It is working on the games under the auspices of its Crowd Sourced Formal Verification programme. The idea is to perform the soft of software verification which is generally conducted by technical experts. “There are not enough human experts or available time to demonstrate that software is secure and reliable – so what we’ve done is repackage what human experts would normally do and produce tens of thousands of game levels for players on the internet to play games for us,” Matthew Barry, who is principal investigator at Kestrel Technology, the firm working with DARPA to develop the games, told Military.com.
A free account is needed to post. Write your comment here first: your text is kept in this browser while you sign up or log in, and is waiting for you when you come back.
Your message:
|||||
10
Markdown: **bold**, *italic*, [text](https://link), - lists, > quotes, $x^2$ for math. Formatting help
