Doron A. Peled
Videos
Doron A. Peled is a computer science Professor at Bar-Ilan University. His research interests include formal methods, model checking, program synthesis and runtime verification. With Edmund M. Clarke
Doron A. Peled Bar Ilan University
Orna Grumberg
Videos
Orna Grumberg is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion.
Doron A. Peled
…Bar-Ilan University. His research interests include formal methods, model checking, program synthesis and runtime verification. With Edmund M. Clarke and Orna Grumberg, he is the coauthor of the book Model Checking (MIT Press, 1999) and the author of the book Software Reliability Methods (Springer Verlag, 2000). Doron…
Grumberg (2006)