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