Roadmap for Enhanced Languages and Methods to Aid Verification

dc.contributor.author Leavens, Gary
dc.contributor.author Abrial, Jean-Raymond
dc.contributor.author Batory, Don
dc.contributor.author Butler, Michael
dc.contributor.author Coglio, Alessandro
dc.contributor.author Fisler, Kathi
dc.contributor.author Hehner, Eric
dc.contributor.author Jones, Cliff
dc.contributor.author Miller, Dale
dc.contributor.author Peyton-Jones, Simon
dc.contributor.author Sitaraman, Murali
dc.contributor.author Smith, Douglas
dc.contributor.author Stump, Aaron
dc.contributor.department Computer Science
dc.date 2019-12-10T20:20:01.000
dc.date.accessioned 2020-06-30T01:57:20Z
dc.date.available 2020-06-30T01:57:20Z
dc.date.issued 2006-07-01
dc.description.abstract <p>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.</p>
dc.description.comments <p>Copyright 2006 by the authors.</p>
dc.identifier archive/lib.dr.iastate.edu/cs_techreports/6/
dc.identifier.articleid 1002
dc.identifier.contextkey 5205201
dc.identifier.s3bucket isulib-bepress-aws-west
dc.identifier.submissionpath cs_techreports/6
dc.identifier.uri https://dr.lib.iastate.edu/handle/20.500.12876/20246
dc.source.bitstream archive/lib.dr.iastate.edu/cs_techreports/6/roadmap.pdf|||Sat Jan 15 01:05:36 UTC 2022
dc.subject.disciplines Computational Engineering
dc.subject.disciplines Programming Languages and Compilers
dc.subject.disciplines Software Engineering
dc.subject.keywords Verification
dc.subject.keywords verified software grand challenge
dc.subject.keywords specification languages
dc.subject.keywords program generation
dc.subject.keywords correctness by construction
dc.subject.keywords programming languages
dc.subject.keywords tools
dc.subject.keywords annotations
dc.title Roadmap for Enhanced Languages and Methods to Aid Verification
dc.type article
dc.type.genre article
dspace.entity.type Publication
relation.isOrgUnitOfPublication f7be4eb9-d1d0-4081-859b-b15cee251456
File
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
roadmap.pdf
Size:
339.71 KB
Format:
Adobe Portable Document Format
Description:
Collections