Concise Guide to Formal Methods

Concise Guide to Formal Methods
Author :
Publisher : Springer
Total Pages : 336
Release :
ISBN-10 : 9783319640211
ISBN-13 : 3319640216
Rating : 4/5 (11 Downloads)

Book Synopsis Concise Guide to Formal Methods by : Gerard O'Regan

Download or read book Concise Guide to Formal Methods written by Gerard O'Regan and published by Springer. This book was released on 2017-08-08 with total page 336 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 Related Books

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

DOWNLOAD 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

DOWNLOAD 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 Testing
Language: en
Pages: 309
Authors: Gerard O'Regan
Categories: Computers
Type: BOOK - Published: 2019-09-30 - Publisher: Springer Nature

DOWNLOAD EBOOK

This practically-focused textbook provides a concise and accessible introduction to the field of software testing, explaining the fundamental principles and off
Understanding Formal Methods
Language: en
Pages: 288
Authors: Jean-Francois Monin
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, givin
Concise Guide to Software Verification
Language: en
Pages: 251
Authors: Marieke Huisman
Categories: Computers
Type: BOOK - Published: 2023-07-24 - Publisher: Springer Nature

DOWNLOAD 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