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.


[img] PDF TR.pdf - Other
Download (347kB)


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.

Item Type: Conference or Workshop Item (Paper)
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
Related URLs:
Organisations: Electronic & Software Systems
ePrint ID: 262885
Date :
Date Event
July 2006Published
Date Deposited: 10 Aug 2006
Last Modified: 17 Apr 2017 21:35
Further Information:Google Scholar

Actions (login required)

View Item View Item