Applications of formal methods
by Michael G. Hinchey and J. P. Bowen
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
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.
Check nearby libraries
Buy this book
Previews available in: English
Showing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references (p. 421-437) and index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| November 20, 2020 | Edited by MARC Bot | import existing book |
| April 9, 2019 | Created by MARC Bot | import existing book |