Toggle Main Menu Toggle Search

Open Access padlockePrints

What can we expect from program verification?

Lookup NU author(s): Professor Michael Jackson


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


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


DOI: 10.1109/MC.2006.363


Altmetrics provided by Altmetric