Model Checking, Second EditionOrna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke · First published 2018Open the Tome
Automated Technology for Verification and AnalysisCyrille Artho, Axel Legay, Doron Peled · First published 2016Open the Tome
סמינר מלטהGalia Doron, ʻAnat Peled, Alon Ḳlebanov, Makhon li-yediʻat ha-arets ṿeha-ʻam ʻal shem Ḥayim Avshalom · First published 2011Open the Tome
Time For Verification Essays In Memory Of Amir PnueliDoron A. Peled · First published 2010Open the Tome
Model Checking and Artificial IntelligenceDoron A. Peled, Michael Wooldridge · First published 2009Open the Tome
Automated Technology for Verification and AnalysisDoron A. Peled,Yih-Kuen Tsay · First published 2008Open the Tome
Verification, Model Checking, and Abstract InterpretationFrancesco Logozzo, Doron A. Peled, Leonore D. Zuck · First published 2008Open the Tome
Formal Techniques for Networked and Distributed Systems - FORTE 2002Doron A. Peled, Moshe Y. Vardi · First published 2003Open the Tome
Model checkingEdmund M. Clarke Jr., Orna Grumberg, Doron A. Peled · First published 1999Open the Tome
