Communicating sequential processes
Communicating sequential processes
Strategies for real-time system specification
Strategies for real-time system specification
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Design and validation of computer protocols
Design and validation of computer protocols
The Z notation: a reference manual
The Z notation: a reference manual
The mythical man-month (anniversary ed.)
The mythical man-month (anniversary ed.)
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Testing Concurrent Systems: A Formal Approach
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Formal Methods in the Design of s Storm Surge Barrier Control System
Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
FM '08 Proceedings of the 15th international symposium on Formal Methods
Hi-index | 0.00 |
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.