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: Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
Faculty of Science, Technology, Engineering and Mathematics (STEM)
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: 04 Oct 2016 15:10
Share this page:


Scopus Citations

Download history for this item

These details should be considered as only a guide to the number of downloads performed manually. Algorithmic methods have been applied in an attempt to remove automated downloads from the displayed statistics but no guarantee can be made as to the accuracy of the figures.

▼ Automated document suggestions from open access sources

Actions (login may be required)

Policies | Disclaimer

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