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.
- ISBN10 0133669491
- ISBN13 9780133669497
- Publish Date 31 August 1995
- Publish Status Out of Print
- Out of Print 1 June 2000
- Publish Country GB
- Imprint Pearson Education Limited
- Format Hardcover
- Pages 452
- Language English