Search Results - Peled, Doron, 1962-
Doron A. Peled
Doron A. Peled (born 1962) () 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 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).
Provided by Wikipedia
-
1
Engineering dependable software systems /
Published 2013Other Authors: An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
2
Engineering dependable software systems /
Published 2013Other Authors: An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook