Roadmap for Enhanced Languages and Methods to Aid Verification
Roadmap for Enhanced Languages and Methods to Aid Verification
This roadmap describes ways that researchers in four areas — specification languages, program generation, correctness by construction, and programming languages — might help further the goal of verified software. It also describes what advances the “verified software” grand challenge might anticipate or demand from work in these areas. That is, the roadmap is intended to help foster collaboration between the grand challenge and these research areas. A common goal for research in these areas is to establish language designs and tool architectures that would allow multiple annotations and tools to be used on a single program. In the long term, researchers could try to unify these annotations and integrate such tools.
Leavens, Gary T.
850e4cf2-6339-4344-bc06-7b1234d197c4
Abrial, Jean-Raymond
5a25086f-b148-416d-b13e-3e3afd2764f7
Batory, Don
c2ac7ecc-5d82-43f8-959b-444bb4c93098
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Coglio, Alessandro
b38116b6-744b-4b8d-95ec-812916231932
Fisler, Kathi
132122a4-c841-4f71-9174-013c64a4a41a
Hehner, Eric
75ef0159-dbac-4570-b35b-7899af5d45b7
Jones, Cliff B.
73e4b981-0b52-49a1-b651-7657d0436fc6
Miller, Dale
0b7cb4dc-9a32-452f-b475-7c84296602ac
Peyton-Jones, Simon
d938c8a9-2001-44d2-aca8-f4044d0ac946
Sitaraman, Murali
aee97624-5aa3-462b-a23d-1716ca5292d9
Smith, Douglas R.
383a97d5-3d43-4d5e-8679-d4ce6bdf8b10
Stump, Aaron
91dac4dd-747f-49ca-a12b-f391912ec751
July 2006
Leavens, Gary T.
850e4cf2-6339-4344-bc06-7b1234d197c4
Abrial, Jean-Raymond
5a25086f-b148-416d-b13e-3e3afd2764f7
Batory, Don
c2ac7ecc-5d82-43f8-959b-444bb4c93098
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Coglio, Alessandro
b38116b6-744b-4b8d-95ec-812916231932
Fisler, Kathi
132122a4-c841-4f71-9174-013c64a4a41a
Hehner, Eric
75ef0159-dbac-4570-b35b-7899af5d45b7
Jones, Cliff B.
73e4b981-0b52-49a1-b651-7657d0436fc6
Miller, Dale
0b7cb4dc-9a32-452f-b475-7c84296602ac
Peyton-Jones, Simon
d938c8a9-2001-44d2-aca8-f4044d0ac946
Sitaraman, Murali
aee97624-5aa3-462b-a23d-1716ca5292d9
Smith, Douglas R.
383a97d5-3d43-4d5e-8679-d4ce6bdf8b10
Stump, Aaron
91dac4dd-747f-49ca-a12b-f391912ec751
Leavens, Gary T., Abrial, Jean-Raymond, Batory, Don, Butler, Michael, Coglio, Alessandro, Fisler, Kathi, Hehner, Eric, Jones, Cliff B., Miller, Dale, Peyton-Jones, Simon, Sitaraman, Murali, Smith, Douglas R. and Stump, Aaron
(2006)
Roadmap for Enhanced Languages and Methods to Aid Verification.
Generative Programming and Component Engineering, 5th International, Portland, Oregon.
22 - 26 Oct 2006.
Record type:
Conference or Workshop Item
(Paper)
Abstract
This roadmap describes ways that researchers in four areas — specification languages, program generation, correctness by construction, and programming languages — might help further the goal of verified software. It also describes what advances the “verified software” grand challenge might anticipate or demand from work in these areas. That is, the roadmap is intended to help foster collaboration between the grand challenge and these research areas. A common goal for research in these areas is to establish language designs and tool architectures that would allow multiple annotations and tools to be used on a single program. In the long term, researchers could try to unify these annotations and integrate such tools.
More information
Published date: July 2006
Additional Information:
A VSTTE committee roadmap. 146 references. Event Dates: October 22-26, 2006
Venue - Dates:
Generative Programming and Component Engineering, 5th International, Portland, Oregon, 2006-10-22 - 2006-10-26
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 262885
URI: http://eprints.soton.ac.uk/id/eprint/262885
PURE UUID: 741081b1-f878-41b0-99d2-57b72f291670
Catalogue record
Date deposited: 10 Aug 2006
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Gary T. Leavens
Author:
Jean-Raymond Abrial
Author:
Don Batory
Author:
Michael Butler
Author:
Alessandro Coglio
Author:
Kathi Fisler
Author:
Eric Hehner
Author:
Cliff B. Jones
Author:
Dale Miller
Author:
Simon Peyton-Jones
Author:
Murali Sitaraman
Author:
Douglas R. Smith
Author:
Aaron Stump
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics