The University of Southampton
University of Southampton Institutional Repository

Roadmap for Enhanced Languages and Methods to Aid Verification

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 At Generative Programming and Component Engineering, 5th International. 22 - 26 Oct 2006.

Record type: Conference or Workshop Item (Paper)


This roadmap describes ways that researchers in four areas — speci- fication 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.

PDF TR.pdf - Other
Download (347kB)

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, 2006-10-22 - 2006-10-26
Organisations: Electronic & Software Systems


Local EPrints ID: 262885
PURE UUID: 741081b1-f878-41b0-99d2-57b72f291670
ORCID for Michael Butler: ORCID iD

Catalogue record

Date deposited: 10 Aug 2006
Last modified: 18 Jul 2017 08:47

Export record


Author: Gary T. Leavens
Author: Jean-Raymond Abrial
Author: Don Batory
Author: Michael Butler ORCID iD
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

University divisions

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.