Software Design Principles for Improved Reliability Assessment

The transformational approach to software reliability assessment is a novel framework which combines the strengths of formal verification and program testing and encourages software designers to consider the reliability related consequences of design decisions early in the life-cycle.