Reliability
As software application pervades critical systems, reliability is paramount
Cost of failure exceeds cost of development
Reliability measures how well a system provides expected service over time
- all service is not equal
- software reliability based entirely on development
- software does not degrade
Formal development methods lead to higher reliability
Formal analysis techniques are critical