Overview
- Presents a broad and concise account of formal methods, covering both theory and applications
- Discusses a selection of formal methods and tools to support formal methods
- Introduces the fundamental concepts in software reliability and dependability engineering, prepositional and predicate logic, model checking, and proof and theorem provers
- Describes advanced topics in logic such as fuzzy logic, undefined values, temporal logic and intuitionist logic
- Includes supplementary material: sn.pub/extras
Part of the book series: Undergraduate Topics in Computer Science (UTICS)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (20 chapters)
Keywords
About this 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.
Authors and Affiliations
About the author
Bibliographic Information
Book Title: Concise Guide to Formal Methods
Book Subtitle: Theory, Fundamentals and Industry Applications
Authors: Gerard O'Regan
Series Title: Undergraduate Topics in Computer Science
DOI: https://doi.org/10.1007/978-3-319-64021-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG, part of Springer Nature 2017
Softcover ISBN: 978-3-319-64020-4Published: 24 August 2017
eBook ISBN: 978-3-319-64021-1Published: 08 August 2017
Series ISSN: 1863-7310
Series E-ISSN: 2197-1781
Edition Number: 1
Number of Pages: XXVI, 322
Number of Illustrations: 25 b/w illustrations, 56 illustrations in colour
Topics: Mathematical Logic and Formal Languages, Software Engineering, Performance and Reliability, Mathematical Applications in Computer Science