Verified Software Roadmap 2006

Overview — last modified 2007-03-07 14:21

Software is now at the core of our infrastructure. We depend on software to control devices ranging from pacemakers to spacecraft, to manage our banking, communication, and power distribution ...

Message from Tony Hoare — last modified 2006-03-16 22:11

Please convey to all the participants my greetings and best wishes in your deliberations. I will be with you in spirit, though I cannot attend in person.

Specification languages by Jim Woodcock — last modified 2006-04-24 02:25

The ASM Method

Unifying Theories of Programming by Jim Woodcock — last modified 2006-03-30 07:15

Unifying Theories of Programming

On VSTTE: A Reformulation, a Widening, and a Focus by shankar — last modified 2006-03-26 23:22

Dines Bjorner's reformulation of the VSTTE challenge, emphasizing domain theories, requirements capture, and problem frame based problem decomposition and design.

Highlights of Forty Five Years of Verification by shankar — last modified 2006-03-30 17:44

"Cliff Jones":http://www.cs.ncl.ac.uk/people/home.php?name=cliff.jones has written about the "early history":http://www.cs.ncl.ac.uk/research/pubs/articles/papers/561.pdf of program verification. ...

System Certification by shankar — last modified 2006-03-29 00:54

The focus of the roadmap is on verified software, but software does not operate in isolation. It is usually part of a larger system for transportation, energy, telecommunication, banking, commerce, ...

Verifying Domain Descriptions by shankar — last modified 2006-12-07 00:24

Kokichi Futatsugi has written this note.

Workshop Overview by shankar — last modified 2006-04-02 10:34

Shankar's overview slides for the workshop

Strongly dynamic systems and TVLA: Challenges by Ganesan Ramalingam — last modified 2006-04-03 02:11

 

Draft Outline — last modified 2006-04-03 16:39

Outline of the Verified Software Roadmap

Technical Background by shankar — last modified 2006-07-03 10:54

Verification has been a fertile and active area of research over the last forty five years. There are several well-developed strands of research with deep inter-relationships. This section provides ...

DC Roadmap Overview by shankar — last modified 2006-04-26 14:00

Slides from the overview talk by Shankar at SRI Washington DC, April 26, 2006.

DC-Experiments by shankar — last modified 2006-04-26 14:02

Slides from a talk at SRI WDC, April 26, 2006.

DC-Tools by shankar — last modified 2006-04-26 14:04

Talk on Verified Software Tools at SRI WDC, April 26, 2006.

DC theory slides by David Naumann — last modified 2006-05-02 22:01

 

Verified Software Roadmap (Draft;July 2006) by shankar — last modified 2006-07-07 10:43

Current draft of the Verified Software Roadmap for presentation at Dagstuhl 06281.

SmartVSR by shankar — last modified 2007-03-07 14:24

testing