Roadmap for enhanced languages and methods to aid verification

Gary Leavens; Jean-Raymond Abrial; Don Batory; Michael Butler; Alessandro Coglio; Kathi Fisler; Eric Hehner; Cliff Jones; Dale Miller; Simon Peyton-Jones; Murali Sitaraman; Douglas Smith; Aaron Stump

doi:10.1145/1173706.1173740

Conference proceeding

Roadmap for enhanced languages and methods to aid verification

Gary Leavens, Jean-Raymond Abrial, Don Batory, Michael Butler, Alessandro Coglio, Kathi Fisler, Eric Hehner, Cliff Jones, Dale Miller, Simon Peyton-Jones, …

Proceedings of the 5th international conference on generative programming and component engineering, pp.221-236

GPCE '06

10/22/2006

DOI: 10.1145/1173706.1173740

View Online

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.

annotations

correctness by construction

program generation

programming languages

specification languages

tools

verification

verified software grand challenge

Details

Title: Subtitle: Roadmap for enhanced languages and methods to aid verification
Creators: Gary Leavens - Iowa State University
Jean-Raymond Abrial - ETH Zurich
Don Batory - The University of Texas at Austin
Michael Butler - University of Southampton
Alessandro Coglio - Kestrel Institute
Kathi Fisler - Worcester Polytechnic Institute
Eric Hehner
Cliff Jones - Newcastle, UK
Dale Miller - Institut national de recherche en sciences et technologies du numérique
Simon Peyton-Jones - Microsoft (United States)
Murali Sitaraman - Clemson University
Douglas Smith - Kestrel Institute
Aaron Stump - Washington University in St. Louis
Resource Type: Conference proceeding
Publication Details: Proceedings of the 5th international conference on generative programming and component engineering, pp.221-236
Series: GPCE '06
DOI: 10.1145/1173706.1173740
Publisher: ACM
Language: English
Date published: 10/22/2006
Academic Unit: Computer Science
Record Identifier: 9984259497102771

Metrics

10 Record Views