Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications - O'Regan, Gerard; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
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.
Keywords: Mathematical logic; Software engineering; Computer software-Reusability.; Computer science-Mathematics.; Computer mathematics; Mathematical Logic and Formal Languages; Software Engineering; Performance and Reliability; Mathematical Applications in Computer Science