[LB] _________________________ AMAST Links 02 06

Applications of Formal Methods

Michael G. Hinchey & Jonathan P. Bowen (editors)
Prentice Hall International Series in Computer Science
ISBN 0-13-366949-1, Hardback
447pp, GBP 32.95/US$ 49.95 approx.

The full version of this information is available.

This book was due to be published on August 18.

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.

Key features include:

• Foreword by C.A.R. Hoare
• describes real-life examples of the application of formal methods, including descriptions of the methods used, and fragments of specifications which can be used in coursework
• Provides statistical evidence of the benefits of formal methods
• Discusses techniques for scaling formal methods for use at an industrial scale, and means of overcoming technology transfer problems
• Emphasizes tool support and the use of validation and verification techniques