VSR

Private by admin — last modified 2005-11-24 00:42

This is a private work area that is used by VSR editors for their work.

Public by admin — last modified 2007-09-24 15:22

This area is for published content that is visible to everyone.

Shared by admin — last modified 2005-11-24 00:43

The shared content here can be edited by members and accessed by everyone.

Verified Software Roadmap Mini-Workshop 2006 (Menlo Park CA, from 2006-04-01 09:00 to 2006-04-02 17:00) — by shankar

A short 2-day workshop for drafting the verified software roadmap to be held at SRI in Menlo Park, CA.

The Verified Software Initiative: A Manifesto by Sam Owre — last modified 2007-11-04 16:59

We propose an ambitious and long-term research program toward construction of errorfree software systems. Our manifesto represents a consensus position that has emerged from a series of national and international meetings, workshops, and conferences held from 2004 to 2007. The research project, the Verified Software Initiative, will attempt to construct over the next fifteen years: (1) a comprehensive theory of programming that covers the features needed to build practical and reliable programs, (2) a coherent toolset that automates the theory and scales up to the analysis of industrial-strength software, and (3) a collection of realistic verified programs that could replace unverified programs in current service and continue to evolve in a verified state. This document summarizes the background of the initiative, its scientific goals, and the principles that underlie a worldwide collaboration to achieve them. We include an assessment of its strengths, weaknesses, threats and opportunities. A companion document will summarize a range of work packages, including developments in theory, tools, and experiments.

VSTTE'08 by shankar — last modified 2008-08-26 18:28

Verified Software: Theories, Tools, and Experiments (VSTTE 2008) Toronto, Canada Oct 6-9, 2008

The Verified Software Initiative by shankar — last modified 2008-06-23 23:15

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.

Verified Software in the Real World by shankar — last modified 2008-05-29 14:49

A two-page summary of the Verified Software Initiative.

VSTTE '08 Conference Program by shankar — last modified 2008-08-26 18:34

Schedule for VSTTE'08, Oct 6-9, 2008, Toronto Canada