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
Roadmap for Enhanced Languages and Methods to Aid Verification
At Generative Programming and Component Engineering, 5th International.
22 - 26 Oct 2006.
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.
Conference or Workshop Item
||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
||Electronic & Software Systems
||10 Aug 2006
||23 Feb 2017 12:52
|Further Information:||Google Scholar|
Actions (login required)