Description
Concise Guide to Formal Methods, 1st ed. 2017
Theory, Fundamentals and Industry Applications
Undergraduate Topics in Computer Science Series
Author: O'Regan Gerard
Language: EnglishSubjects for Concise Guide to Formal Methods:
Support: Print on demand
Description
/li>Contents
/li>Biography
/li>Comment
/li>
This stimulating guide provides a broad and accessible overview of formal methods for students of computer science and mathematics curious as to how formal methods are applied to the field of computing.
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.