What can we expect from program verification?

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

DOI: https://doi.org/10.1109/MC.2006.363

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

Viewing alternatives

Metrics

Item Actions

Export

You can export this page using these formats Digital Object Identifier - DOI

About

• Item ORO ID
• 7514
• Item Type
• Journal Item
• 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 or School
• Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
  Faculty of Science, Technology, Engineering and Mathematics (STEM)
• Research Group
• Centre for Research in Computing (CRC)
• Depositing User
• Users 7283 not found.