Abstract
We describe the experience of the industrial application of formal
methods in the development of a mission critical system. We give a description
of the system that was to be developed and the methods that were employed to
realize the high level of reliability that was required. In this paper we will
describe which formal techniques were used, how these techniques were used,
the influence of formal methods on the development process and
recommendations for managing the use of formal methods.
Original language | English |
---|---|
Pages | 1511-1526 |
Number of pages | 16 |
Publication status | Published - 1999 |
Keywords
- FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS