Introduction to formal methods of software design |
| |
| Authors: | Anthony C Davies |
| |
| Affiliation: | Centre for Information Engineering, The City University, Northampton Square, London EC1V 0HB, UK |
| |
| Abstract: | The potential benefits of using formal methods in the design of software are discussed. Concepts are illustrated by several small examples, with the objective of helping to bridge the gap between theory and practice. The paper introduces and explains some of the terminology, symbols and notation for the discrete mathematics used in the formal methods literature, intended to assist the reader in further study. |
| |
| Keywords: | software engineering formal methods software verification |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
