Browse by author
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.
Author(s): Jackson M
Publication type: Article
Publication status: Published
ISSN (print): 0018-9162
ISSN (electronic): 1558-0814
Publisher: IEEE Computer Society
Altmetrics provided by Altmetric