Doron A. Peled

Sobre o Autor

Doron A. Peled is a prominent figure in the fields of computer science and software engineering, particularly known for his contributions to software reliability and formal verification methods. His work has helped shape the understanding of model checking and its applications in ensuring the reliability of software systems. Peled has authored several influential books, including "Software Reliability Methods" and the second edition of "Model Checking," which are essential readings for professionals and researchers in the field.