The Verified Software Initiative

Software is the nerve center of many engineered products and business processes, but it is also a perennial source of bottlenecks, cost overruns, and vulnerabilities. Software poses a serious intellectual and scientific challenge. Can we design, produce, and maintain software to the highest standard of mathematical rigor and certitude? The Verified Software Initiative (VSI) is a comprehensive long-term international research initiative that focuses on the scientific challenge of reliable software. The VSI project will stimulate and build on technological advances in areas such as requirements modeling, specification languages, design methodologies, programming languages, static and dynamic analysis techniques, state exploration tools, automated deduction, test case generation, and software certification. The development of these technologies will be driven performance benchmarks and realistic challenges. The Verified Software Initiative will involve the active collaboration and coordination of hundreds of scientists on an international scale. The goal of the initiative is to establish software verification as a practical and cost-effective technology for ensuring that software is the most trusted component of any software-based system.

Click here to get the file