An introduction to formal methods
This presentation is a brief introduction to formal methods. It
attempts to answer the following questions:
- What is a specification?
- What is a formal method?
- What is a formal specification language?
- Why are there many different languages and methods?
- When can formal methods be used?
- What are the major benefits of formal methods?
- Are there examples of applications developed using formal
methods?
To obtain the slides
Select this
URL to obtain the slides (compressed postscript).