The increasing complexity of computer software and hardware makes their reliability harder to ensure. This book summarizes the state of the art of research in the diverse fields concerned, with designs, case studies, and experimental and theoretical data.