The Open UniversitySkip to content
 

What can we expect from program verification?

Jackson, Michael (2006). What can we expect from program verification? IEEE Computer, 39(10) pp. 65–71.

Full text available as:
[img]
Preview
PDF (Not Set) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (1076Kb)
DOI (Digital Object Identifier) Link: http://dx.doi.org/10.1109/MC.2006.363
Google Scholar: Look up in Google Scholar

Abstract

Program verification assumes a formal program specification. In software-intensive systems, such specifications must depend on formalization of the natural, nonformal problem world. This formalization is inevitably imperfect, and poses major difficulties of structure and reasoning. Appropriate verification tools can help address these difficulties and improve system reliability

Item Type: Journal Article
ISSN: 0018-9162
Extra Information: "©2006 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE."
Keywords: program verification; software engineering; software-intensive systems; system reliability
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 7514
Depositing User: Users 7283 not found.
Date Deposited: 07 Jun 2007
Last Modified: 06 Dec 2010 17:28
URI: http://oro.open.ac.uk/id/eprint/7514
Share this page:

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk