About “Applications of formal methods”
Interest in formal methods has increased, but so have myths about their benefits and use. Applications of Formal Methods is a 1995 book that gathers essays from leading experts in academia and industry to address these misconceptions. The book presents real-world applications of formal methods, focusing on industrial relevance across different fields. Each essay demonstrates how these methods can be applied to large-scale problems and evaluates the tools and techniques used for validation and verification.
Book details
- First published
- 1995
- Latest edition
- 1995 · ISBN 0133669491