Software Reliability Methods

This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. This reference will serve as an introduction to formal methods and techniques and will be a source for learning about various ways to enhance software reliability.