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:
PDF (Not Set) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (1076Kb)
DOI (Digital Object Identifier) Link:
Google Scholar: Look up in Google Scholar


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
Mathematics, Computing and Technology
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: 20 Jan 2016 07:09
Share this page:


Scopus Citations

Actions (login may be required)

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340