Though useful, formal methods did not really take over as the standard for software reliability as once predicted.
Jaffar-ur-Rehman's primary research interests were software reliability, dependability, and testing.
The algorithm has applications in distributed control, software reliability, High-performance computing, etc.
Because of its many applications in safety critical systems, software reliability is now an important research area.
Testing software reliability is important as it is of great use for software managers and practitioners.
In the assessment and prediction of software reliability, we use the reliability growth model.
As with hardware, software reliability depends on good requirements, design and implementation.
The theory is that the software reliability increases as the number of faults (or fault density) goes down.
Instead, software reliability uses different metrics, such as code coverage.
It is a standard that provides a framework for the management of software reliability within system reliability requirements.