Formal methods: present and future
M. I. Jackson · Institution of Engineering and Technology eBooks · 1987
This chapter discusses formal methods. The introduction of formal methods of system development is seen as a major step towards improving the software engineering process. Formal methods are rigorous engineering practices based on mathematically formal foundations. Unlike most of the present day approaches in widespread use, formal methods provide the means of expressing system designs concisely and unambiguously and in such a way that the behavioural aspects of systems can be explored through formal logical manipulation.