Authors:
- 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)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (20 chapters)
-
Front Matter
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
-
SQC Consulting, Mallow, County Cork, Ireland
Gerard O'Regan
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