Roadmap for Enhanced Languages and Methods to Aid Verification Leavens, Gary Abrial, Jean-Raymond Batory, Don Butler, Michael Coglio, Alessandro Fisler, Kathi Hehner, Eric Jones, Cliff Miller, Dale Peyton-Jones, Simon Sitaraman, Murali Smith, Douglas Stump, Aaron
dc.contributor.department Computer Science 2019-12-10T20:20:01.000 2020-06-30T01:57:20Z 2020-06-30T01:57:20Z 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/
dc.identifier.articleid 1002
dc.identifier.contextkey 5205201
dc.identifier.s3bucket isulib-bepress-aws-west
dc.identifier.submissionpath cs_techreports/6
dc.source.bitstream archive/|||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
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
339.71 KB
Adobe Portable Document Format