ePrints

What can we expect from program verification?

Lookup NU author(s): Professor Michael Jackson

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

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.

Publication metadata

Author(s): Jackson M

Publication type: Article

Publication status: Published

Journal: Computer

Year: 2006

Volume: 39

Issue: 10

Pages: 65-71

ISSN (print): 0018-9162

ISSN (electronic): 1558-0814

Publisher: IEEE Computer Society

URL: http://dx.doi.org/10.1109/MC.2006.363

DOI: 10.1109/MC.2006.363

Altmetrics

Share