The U.S. Defense Advanced Research Projects Agency (DARPA) recently launched the Crowd Sourced Formal Verification (CSFV) project, which aims to use crowdsourcing technology to provide a fun way for the public to participate in software verification.
Traditional program verification is not widely practiced due to high costs and because many program verification problems resist automation. "This is particularly an issue for the Department of Defense because formal verification, while a proven method for reducing defects in software, currently requires highly specialized talent and cannot be scaled to the size of software found in modern weapon systems," DARPA says.
CSFV aims to develop methods to automatically transform formal software verification problems into end-user games people can play. The games will create solutions that can help a formal verification tool verify a software property, according to DARPA.
View Full Article
Abstracts Copyright © 2011 Information Inc. , Bethesda, Maryland, USA
No entries found