Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications /

• Main Author: O'Regan, Gerard (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Series: Undergraduate Topics in Computer Science,
• Subjects: Computer science.; Computer software > Reusability.; Software engineering.; Mathematical logic.; Computer science > Mathematics.; Computer mathematics.; Computer Science.; Mathematical Logic and Formal Languages.; Software Engineering.; Performance and Reliability.; Mathematical Applications in Computer Science.

This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computing. Topics and features: Introduces the key concepts in software engineering, software reliability a...

Table of Contents:

• Software Engineering
• Software Reliability and Dependability
• Overview of Formal Methods
• Sets, Relations and Functions
• A Short History of Logic
• Propositional and Predicate Logic
• Advanced Topics in Logic
• Z Formal Specification Language
• Vienna Development Method
• Irish School of VDM
• Unified Modelling Language
• Dijkstra, Hoare and Parnas
• Automata Theory
• Model Checking
• The Nature of Theorem Proving
• Probability and Statistics
• Industrial Tools for Formal Methods
• Technology Transfer to Industry
• Epilogue.