Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications /
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Edition: | 1st ed. 2017. |
| Series: | Undergraduate Topics in Computer Science,
|
| Subjects: |
Table of Contents:
- 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.