Applications of formal methods
By: edited by Michael G. Hinchey and Jonathan P. Bowen.
Contributors: Hinchey, Michael G. 1969-; Bowen, J. P. 1956-
Series: Prentice-Hall international series in computer science
Publisher: Prentice Hall
Published: 1995
Place of publication: London; New York
Language: eng
Number of pages: 447
Subjects: System design.; Computer software -- Development.; Formal methods (Computer science)
Description: Interest in formal methods continues to grow; unfortunately myths and misconceptions regarding their benefits and application continue to grow also. Applications of Formal Methods is a collection of articles by internationally renowned contributors from both academia and industry which will dispel many of these myths.

Each of these essays illustrates the application of formal methods to realistic problems, each with an industrial relevance, in various application domains, describing how they can be scaled to large-scale problems, and providing an evaluation of methods, tools, and validation and verification techniques.
Notes: Includes bibliographical references (p. 421-437) and index.