Concise Guide to Formal Methods

Concise Guide to Formal Methods
Author: Gerard O'Regan
Publisher: Springer
Total Pages: 336
Release: 2017-08-08
Genre: Mathematics
ISBN: 3319640216


Download Concise Guide to Formal Methods Book in PDF, Epub and Kindle

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 and dependability, formal methods, and discrete mathematics; presents a short history of logic, from Aristotle’s syllogistic logic and the logic of the Stoics, through Boole’s symbolic logic, to Frege’s work on predicate logic; covers propositional and predicate logic, as well as more advanced topics such as fuzzy logic, temporal logic, intuitionistic logic, undefined values, and the applications of logic to AI; examines the Z specification language, the Vienna Development Method (VDM) and Irish School of VDM, and the unified modelling language (UML); discusses Dijkstra’s calculus of weakest preconditions, Hoare’s axiomatic semantics of programming languages, and the classical approach of Parnas and his tabular expressions; provides coverage of automata theory, probability and statistics, model checking, and the nature of proof and theorem proving; reviews a selection of tools available to support the formal methodist, and considers the transfer of formal methods to industry; includes review questions and highlights key topics in every chapter, and supplies a helpful glossary at the end of the book. 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.


Concise Guide to Formal Methods
Language: en
Pages: 336
Authors: Gerard O'Regan
Categories: Mathematics
Type: BOOK - Published: 2017-08-08 - Publisher: Springer

GET EBOOK

This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods ac
Concise Guide to Software Engineering
Language: en
Pages: 457
Authors: Gerard O'Regan
Categories: Computers
Type: BOOK - Published: 2022-09-24 - Publisher: Springer Nature

GET EBOOK

This textbook presents a concise introduction to the fundamental principles of software engineering, together with practical guidance on how to apply the theory
Concise Guide to Software Verification
Language: en
Pages: 251
Authors: Marieke Huisman
Categories: Computers
Type: BOOK - Published: 2023-07-24 - Publisher: Springer Nature

GET EBOOK

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in pra
Concise Guide to Software Engineering
Language: en
Pages: 0
Authors: Gerard O'Regan
Categories:
Type: BOOK - Published: 2022 - Publisher:

GET EBOOK

This long-awaiting new edition of an essential textbook concisely introduces the fundamental principles of software engineering, also offering practical guidanc
Concise Guide to Software Testing
Language: en
Pages: 309
Authors: Gerard O'Regan
Categories: Computers
Type: BOOK - Published: 2019-09-30 - Publisher: Springer Nature

GET EBOOK

This practically-focused textbook provides a concise and accessible introduction to the field of software testing, explaining the fundamental principles and off